"Strong Stability and the Incompleteness of Stable Models for lambda-Calculus."

Olivier Bastonero, Xavier Gouy (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics