Projection in Temporal Logic Programming.

Zhenhua Duan, Maciej Koutny, Chris Holt

Browse the full LPAR paper archive.