Andrzej Blikle
-
A Morphic Representation of Complements of Recursively Enumerable Sets
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming