|
to appear as a chapter of the Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov, Elsevier 2001
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:29 CET 2007. |
|