Freek Wiedijk, Jan Zwanenburg. First Order Logic with Domain Conditions. In David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, pages 221-237, Springer, 2003. [doi]
@inproceedings{WiedijkZ03,
title = {First Order Logic with Domain Conditions},
author = {Freek Wiedijk and Jan Zwanenburg},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2758&spage=221},
tags = {logic},
researchr = {https://researchr.org/publication/WiedijkZ03},
cites = {0},
citedby = {0},
pages = {221-237},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
editor = {David A. Basin and Burkhart Wolff},
volume = {2758},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40664-6},
}