Christoph Brzoska Temporal Logic Programming with Bounded Universal (Modality) Goals. 15-17 1993 WLP db/conf/wlp/wlp93.html#Brzoska93