Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic.

Regimantas Pliuskevicius

Browse the full LPAR paper archive.