-- ==================================================================== Mirek Truszczynski Dept. of Computer Science e-mail: mirek at cs.engr.uky.edu University of Kentucky http://www.cs.engr.uky.edu/~mirek Lexington, KY 40506-0046 phone: (859) 257-3961 USA fax: (859) 323-1971 ======================================================================