INFSYS R ESEARCH R E P O R T Institut f¨ ur Informationssysteme Abtg. Wissensbasierte Systeme Technische Universit¨ at Wien Treitlstraße 3 A-1040 Wien, Austria Tel: +43-1-58801-18405 Fax: +43-1-58801-18493 sek@kr.tuwien.ac.at www.kr.tuwien.ac.at I NSTITUT F ¨ UR I NFORMATIONSSYSTEME ABTEILUNG WISSENSBASIERTE SYSTEME O N ACTL F ORMULAS H AVING D ETERMINISTIC C OUNTEREXAMPLES Francesco BUCCAFURRI Georg GOTTLOB Thomas EITER Nicola LEONE INFSYS RESEARCH REPORT 1843-99-01 JANUARY 1999