Paul Fodor. Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 1800-1801, AAAI Press, 2008.
@inproceedings{Fodor08a, title = {Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques}, author = {Paul Fodor}, year = {2008}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Fodor08a}, cites = {0}, citedby = {0}, pages = {1800-1801}, booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008}, editor = {Dieter Fox and Carla P. Gomes}, publisher = {AAAI Press}, isbn = {978-1-57735-368-3}, }