Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.

Regimantas Pliuskevicius Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. 1998 8 Journal of Applied Non-Classical Logics 1-2 db/journals/jancl/jancl8.html#Pliuskevicius98