On the Computational Limits of Infinite Satisfaction.
(2005)
Presentation / Conference Contribution
Dantchev, S., & Valencia, F. (2005). On the Computational Limits of Infinite Satisfaction.