%0 Journal Article %1 journals/jar/BonacinaP16 %A Bonacina, Maria Paola %A Plaisted, David A. %D 2016 %J J. Autom. Reason. %K dblp %N 2 %P 113-141 %T Semantically-Guided Goal-Sensitive Reasoning: Model Representation. %U http://dblp.uni-trier.de/db/journals/jar/jar56.html#BonacinaP16 %V 56

@article{journals/jar/BonacinaP16, added-at = {2020-09-02T00:00:00.000+0200}, author = {Bonacina, Maria Paola and Plaisted, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2ebd4bbb0cdba1abf0a4569074caebec3/dblp}, ee = {https://doi.org/10.1007/s10817-015-9334-4}, interhash = {046abd1b7989c77f5da9bac6211d9c13}, intrahash = {ebd4bbb0cdba1abf0a4569074caebec3}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {113-141}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {Semantically-Guided Goal-Sensitive Reasoning: Model Representation.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar56.html#BonacinaP16}, volume = 56, year = 2016 }