%0 Conference Paper %1 ligozat96 %A Ligozat, G. %B Actes AAAI�96: workshop on Spatial and Temporal Reasoning %C Portland, Oregon %D 1996 %K reasoning temporal %P 395--401 %T A New Proof of Tractability for ORD-Horn Relations

@inproceedings{ligozat96, added-at = {2008-07-28T12:02:00.000+0200}, address = {Portland, Oregon}, author = {Ligozat, G.}, biburl = {https://www.bibsonomy.org/bibtex/254a1d94858bfd1406e7a87ad7247c133/mfalda}, booktitle = {Actes AAAI�96: workshop on Spatial and Temporal Reasoning}, description = {Bibliography on Temporal Reasoning}, interhash = {216fffd2472d1ffbcbaaba7781cf08cb}, intrahash = {54a1d94858bfd1406e7a87ad7247c133}, keywords = {reasoning temporal}, pages = {395--401}, timestamp = {2008-07-28T12:03:15.000+0200}, title = {A New Proof of Tractability for {ORD-Horn} Relations}, year = 1996 }