%0 Conference Paper %1 conf/aaai/Ligozat96 %A Ligozat, Gerard %B AAAI/IAAI, Vol. 1 %D 1996 %E Clancey, William J. %E Weld, Daniel S. %I AAAI Press / The MIT Press %K dblp %P 395-401 %T A New Proof of Tractability for ORD-Horn Relations. %U http://dblp.uni-trier.de/db/conf/aaai/aaai96-1.html#Ligozat96 %@ 0-262-51091-X

@inproceedings{conf/aaai/Ligozat96, added-at = {2023-09-04T00:00:00.000+0200}, author = {Ligozat, Gerard}, biburl = {https://www.bibsonomy.org/bibtex/2c58c3140fe7c3402440fcd4178da0415/dblp}, booktitle = {AAAI/IAAI, Vol. 1}, crossref = {conf/aaai/1996-1}, editor = {Clancey, William J. and Weld, Daniel S.}, ee = {http://www.aaai.org/Library/AAAI/1996/aaai96-060.php}, interhash = {216fffd2472d1ffbcbaaba7781cf08cb}, intrahash = {c58c3140fe7c3402440fcd4178da0415}, isbn = {0-262-51091-X}, keywords = {dblp}, pages = {395-401}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T16:15:41.000+0200}, title = {A New Proof of Tractability for ORD-Horn Relations.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai96-1.html#Ligozat96}, year = 1996 }