%0 Journal Article %1 journals/amai/BenoistH03 %A Benoist, Emmanuel %A Hébrard, Jean-Jacques %D 2003 %J Ann. Math. Artif. Intell. %K dblp %N 3 %P 251-272 %T Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. %U http://dblp.uni-trier.de/db/journals/amai/amai37.html#BenoistH03 %V 37

@article{journals/amai/BenoistH03, added-at = {2011-05-18T00:00:00.000+0200}, author = {Benoist, Emmanuel and Hébrard, Jean-Jacques}, biburl = {https://www.bibsonomy.org/bibtex/28911ce1146163839fbe763ce227b48e9/dblp}, ee = {http://dx.doi.org/10.1023/A:1021243928374}, interhash = {d4d9680f60583ed89ca790101f1330f1}, intrahash = {8911ce1146163839fbe763ce227b48e9}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 3, pages = {251-272}, timestamp = {2011-05-19T11:36:38.000+0200}, title = {Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai37.html#BenoistH03}, volume = 37, year = 2003 }