Skip to content

A Normal Form for Linear Temporal Equilibrium Logic.

Pedro Cabalar

VenueBJELIA
Year2010
ProceedingsJELIA

Browse the full JELIA paper archive.