Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science New Mexico State University Box 30001, Dept. CS Las Cruces, NM 88003 - USA Ph: +1 (505) 646 6236 Fax: +1 (505) 646 1002 e-mail: gupta@cs.nmsu.edu