By: Arnaud Durand, Ronald Fagin, Bernd Loescher
Published in: Lecture Notes in Computer Science, volume 1414, (no ), pages in 1998
Please obtain a copy of this paper from your local library. IBM cannot distribute this paper externally.
Questions about this service can be mailed to reports@us.ibm.com .