
Burkhard D. Burow:
After Compilers and Operating Systems : The Third Advance in Application Support.
Patrik Simons:
Extending the Stable Model Semantics with More Expressive Rules.
Michel Rigo:
Construction of regular languages and recognizability of polynomials.