Skip to content

Strongly Equivalent Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal

VenueBJELIA
Year2008
ProceedingsJELIA

Browse the full JELIA paper archive.