Similarity Saturation for First Order Linear Temporal Logic with UNLESS.

Regimantas Pliuskevicius Similarity Saturation for First Order Linear Temporal Logic with UNLESS. 320-336 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#Pliuskevicius96 http://dx.doi.org/10.1007/3-540-61630-6_23