%0 Journal Article %1 journals/jar/GiunchigliaPT01 %A Giunchiglia, Fausto %A Pecchiari, Paolo %A Talcott, Carolyn L. %D 2001 %J J. Autom. Reason. %K dblp %N 3 %P 291-331 %T Reasoning Theories. %U http://dblp.uni-trier.de/db/journals/jar/jar26.html#GiunchigliaPT01 %V 26

@article{journals/jar/GiunchigliaPT01, added-at = {2020-09-02T00:00:00.000+0200}, author = {Giunchiglia, Fausto and Pecchiari, Paolo and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/28fa2efbaf28cb6e00fe584cc0797cf17/dblp}, ee = {https://doi.org/10.1023/A:1006407208923}, interhash = {f3dedffa6ae3e3df8e09efaa26d562dc}, intrahash = {8fa2efbaf28cb6e00fe584cc0797cf17}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {291-331}, timestamp = {2020-09-09T13:35:05.000+0200}, title = {Reasoning Theories.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar26.html#GiunchigliaPT01}, volume = 26, year = 2001 }