Belaid Benhamou, Laurent Henocque. Finite Model Search for Equational Theories (FMSET). In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 84-93, Springer, 1998. [doi]
@inproceedings{BenhamouH98,
title = {Finite Model Search for Equational Theories (FMSET)},
author = {Belaid Benhamou and Laurent Henocque},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1476/14760084.htm},
tags = {search},
researchr = {https://researchr.org/publication/BenhamouH98},
cites = {0},
citedby = {0},
pages = {84-93},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
editor = {Jacques Calmet and Jan A. Plaza},
volume = {1476},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64960-3},
}