%0 Conference Paper %1 conf/ilp/YamamotoII12a %A Yamamoto, Yoshitaka %A Inoue, Katsumi %A Iwanuma, Koji %B ILP %D 2012 %E Riguzzi, Fabrizio %E Zelezný, Filip %I Springer %K dblp %P 241-256 %T Heuristic Inverse Subsumption in Full-Clausal Theories. %U http://dblp.uni-trier.de/db/conf/ilp/ilp2012.html#YamamotoII12a %V 7842 %@ 978-3-642-38811-8

@inproceedings{conf/ilp/YamamotoII12a, added-at = {2017-05-17T00:00:00.000+0200}, author = {Yamamoto, Yoshitaka and Inoue, Katsumi and Iwanuma, Koji}, biburl = {https://www.bibsonomy.org/bibtex/2c4372416d7d35da7864349c132099599/dblp}, booktitle = {ILP}, crossref = {conf/ilp/2012}, editor = {Riguzzi, Fabrizio and Zelezný, Filip}, ee = {https://doi.org/10.1007/978-3-642-38812-5_17}, interhash = {c63383250e8793e415e8e32e259a7131}, intrahash = {c4372416d7d35da7864349c132099599}, isbn = {978-3-642-38811-8}, keywords = {dblp}, pages = {241-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:23:32.000+0200}, title = {Heuristic Inverse Subsumption in Full-Clausal Theories.}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2012.html#YamamotoII12a}, volume = 7842, year = 2012 }