Programs with Universally Quantified Embedded Implications

Vyacheslav Petukhin. Programs with Universally Quantified Embedded Implications. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 310-324, Springer, 1997.

Abstract

Abstract is missing.