Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of Normal Logic Programs with Embedded Implications
ICLP, 2001.
@inproceedings{ICLP-2001-OrejasPP, author = "Fernando Orejas and Edelmira Pasarella and Elvira Pino", booktitle = "{Proceedings of the 17th International Conference on Logic Programming}", doi = "10.1007/3-540-45635-X_25", isbn = "3-540-42935-2", pages = "255--268", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Semantics of Normal Logic Programs with Embedded Implications}", volume = 2237, year = 2001, }