Solving First-Order Constraints over the Monadic Class.

Dimitri Chubarov Andrei Voronkov Solving First-Order Constraints over the Monadic Class. 132-138 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning http://springerlink.metapress.com/openurl.asp?genre=article&id=MU5BJ6EM35W0U86M db/conf/birthday/siekmann2005.html#ChubarovV05