Loop Formulas for Splitable Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal

Browse the full LPNMR paper archive.