Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.

Henning Basold, Ekaterina Komendantskaya, Yue Li

Browse the full ESOP paper archive.