Completeness of global evaluation logic (2006)

by Sergey Goncharov, Lutz Schröder, Till Mossakowski
Venue:IN MFCS 06, LNCS 4162