Logical Algorithmics: From Theory to Practice (Invited Talk).

Moshe Y. Vardi

Browse the full STACS paper archive.