Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini. Intensional Negation of Logic Programs: Examples and Implementation Techniques. In Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari, editors, TAPSOFT 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and . Volume 250 of Lecture Notes in Computer Science, pages 96-110, Springer, 1987.
Abstract is missing.