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

Moshe Y. Vardi

Browse the full CSL paper archive.