%0 Conference Paper %1 journals/corr/KaufmannS17 %A Kaufmann, Matt %A Swords, Sol %B ACL2 %D 2017 %E Slobodová, Anna %E Jr., Warren A. Hunt %K dblp %P 47-60 %T Meta-extract: Using Existing Facts in Meta-reasoning. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs249.html#KaufmannS17 %V 249

@inproceedings{journals/corr/KaufmannS17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kaufmann, Matt and Swords, Sol}, biburl = {https://www.bibsonomy.org/bibtex/264cf78009aa27b067dc53c25d198d59f/dblp}, booktitle = {ACL2}, crossref = {journals/corr/SlobodovaJ17}, editor = {Slobodová, Anna and Jr., Warren A. Hunt}, ee = {http://arxiv.org/abs/1705.01227}, interhash = {8187e90fadf0984af4f9a6d2c5407f8f}, intrahash = {64cf78009aa27b067dc53c25d198d59f}, keywords = {dblp}, pages = {47-60}, series = {EPTCS}, timestamp = {2024-04-10T12:59:30.000+0200}, title = {Meta-extract: Using Existing Facts in Meta-reasoning.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs249.html#KaufmannS17}, volume = 249, year = 2017 }