M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos. Disjunctive Chronolog. In M. Chacravarty, Y. Guo, and T. Ida, editors, Proceedings of the JICSLP'96 Post-Conference Workshop "Multi-Paradigm Logic Programming", pages 129--136, Bonn, 5-6 Sept. 1996. (1996) |