Completeness of Global Evaluation Logic

@inproceedings{pub3878,
    author = {

Goncharov, Sergey
 and 

Schröder, Lutz
 and 

Mossakowski, Till
},
    editor = {

Kralovic, Rastislav
 and 

Urzyczyn, Pawel
},
    title = {Completeness of Global Evaluation Logic},
    booktitle = {Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of Computer Science (MFCS-2006), August 28-September 1, Stará Lesná, Slovakia},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2006},
    volume = {4162},
    pages = {447--458},
    publisher = {Springer; http://www.springer.de}
}