40000054

b

40000054 B\"ohlen, Michael H. The temporal deductive database system chronolog The temporal deductive database system chronolog (1994). 1994 Departement Informatik, ETH Z\"urich EN