Charles Elkan. Automated Inductive Reasoning about Logic Programs. PhD thesis, Cornell University, USA, 1990.
@phdthesis{us-210,
title = {Automated Inductive Reasoning about Logic Programs},
author = {Charles Elkan},
year = {1990},
researchr = {https://researchr.org/publication/us-210},
cites = {0},
citedby = {0},
school = {Cornell University, USA},
}