A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic (1997)

by Serenella Cerrito , Marta Cialdea Mayer
Citations:1 - 1 self