%0 Conference Paper %1 conf/frocos/GiunchigliaPT96 %A Giunchiglia, Fausto %A Pecchiari, Paolo %A Talcott, Carolyn L. %B FroCoS %D 1996 %K dblp %P 157-174 %T Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. %U http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#GiunchigliaPT96

@inproceedings{conf/frocos/GiunchigliaPT96, added-at = {2013-01-11T00:00:00.000+0100}, author = {Giunchiglia, Fausto and Pecchiari, Paolo and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2763cf79ca90926e11b73c352eff47f8a/dblp}, booktitle = {FroCoS}, interhash = {10052d9f077d45f420c12db159c439a1}, intrahash = {763cf79ca90926e11b73c352eff47f8a}, keywords = {dblp}, pages = {157-174}, timestamp = {2013-01-12T11:34:38.000+0100}, title = {Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#GiunchigliaPT96}, year = 1996 }