A tactic language for Ergo (1997)

by A Martin, R Nickson, M Utting
Venue:Formal Methods Pacific ’97