Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults

Joeri Engelfriet, Heinrich Herre. Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. Journal of Logic and Algebraic Programming, 41(1):1-25, 1999.

Abstract

Abstract is missing.