id: 70867737
dt: a
an: 70867737
au: Barringer, Howard; Fisher, Michael; Gabbay, Dov M.; Gough, Graham; Owens,
    Richard
ti: METATEM: A framework for programming in temporal logic
so: REX Workshop, 94-129 (1989).
py: 1989
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-52559-9_62