## Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai

*Moder Generation Theorem Proving with Finite Interval Constraints*

ICLP, 2000.

@inproceedings{CL-2000-HahnleHS, author = "Reiner Hähnle and Ryuzo Hasegawa and Yasuyuki Shirai", booktitle = "{Proceedings of the First International Conference on Computational Logic}", doi = "10.1007/3-540-44957-4_19", isbn = "3-540-67797-6", pages = "285--299", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Moder Generation Theorem Proving with Finite Interval Constraints}", volume = 1861, year = 2000, }