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.
@inproceedings{Petukhin97,
title = {Programs with Universally Quantified Embedded Implications},
author = {Vyacheslav Petukhin},
year = {1997},
researchr = {https://researchr.org/publication/Petukhin97},
cites = {0},
citedby = {0},
pages = {310-324},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
editor = {Jürgen Dix and Ulrich Furbach and Anil Nerode},
volume = {1265},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63255-7},
}