On the Replacement of Induction for a First Order Linear Temporal Logic.

Regimantas Pliuskevicius On the Replacement of Induction for a First Order Linear Temporal Logic. 331-342 1995 WOCFAI db/conf/wocfai/wocfai1995.html#Pliuskevicius95