Adding a Temporal Dimension to a Logic System (1993)

by Marcelo Finger , Dov M. Gabbay
Citations:76 - 3 self