%0 Conference Paper %1 conf/ijcai/FrischP95 %A Frisch, Alan M. %A Jr., C. David Page %B IJCAI %D 1995 %I Morgan Kaufmann %K dblp %P 1210-1216 %T Building Theories into Instantiation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#FrischP95

@inproceedings{conf/ijcai/FrischP95, added-at = {2019-08-20T00:00:00.000+0200}, author = {Frisch, Alan M. and Jr., C. David Page}, biburl = {https://www.bibsonomy.org/bibtex/2bb7214308aef75e309d7dd2ca4f7f3a9/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1995}, ee = {http://ijcai.org/Proceedings/95-2/Papers/025.pdf}, interhash = {49d0fa524bcaf5ebb7098c21583d5889}, intrahash = {bb7214308aef75e309d7dd2ca4f7f3a9}, keywords = {dblp}, pages = {1210-1216}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:48:23.000+0200}, title = {Building Theories into Instantiation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#FrischP95}, year = 1995 }