An action computation tree logic with unless operator. Submitted for publication (0)

by R Meolic, T Kapus, Z Brezo nik
Venue:PREPRINT for EUROCON 2003, September 22-24, 2003, Ljubljana, Slovenija 5