Jean-Marc David, Jean-Paul Krivine. Explaining Reasoning from Knowledge Level Models. In ECAI. pages 186-188, 1990.
@inproceedings{DavidK90,
title = {Explaining Reasoning from Knowledge Level Models},
author = {Jean-Marc David and Jean-Paul Krivine},
year = {1990},
researchr = {https://researchr.org/publication/DavidK90},
cites = {0},
citedby = {0},
pages = {186-188},
booktitle = {ECAI},
}