@inproceedings{b04428397ae148a794131d2c1ddb8da0,
title = "Theorem Proving and Programming with Dynamic First Order Logic",
keywords = "Wiskunde en computerwetenschappen, Menswetenschappen, Linguistic theory, Applied linguistics",
author = "{van Eijck}, J. and J. Heguiabehere and B. O'Nuallain",
year = "2000",
language = "Undefined/Unknown",
pages = "56--71",
editor = "M. Alpuente",
booktitle = "Functional and Logic Programming: Ninth International Workshop, WFLP'2000",
publisher = "Universidad Politechnica de Valencia",
}