John K. Slaney, Timothy Surendonk. Combining Finite Model Generation with Theorem Proving: Problems and Prospects. In Frontiers of Combining Systems (FroCos). pages 141-155, 1996.
@inproceedings{SlaneyS96,
title = {Combining Finite Model Generation with Theorem Proving: Problems and Prospects},
author = {John K. Slaney and Timothy Surendonk},
year = {1996},
researchr = {https://researchr.org/publication/SlaneyS96},
cites = {0},
citedby = {0},
pages = {141-155},
booktitle = {Frontiers of Combining Systems (FroCos)},
}