Finite model building : improvements and comparisons
Tammet, Tanel
Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003
2003
/
p. 81-90
https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons