A Tactic Calculus
A. P. Martin‚ P. H. B. Gardiner and J. C. P. Woodcock
Journal
Formal Aspects of Computing
Note
An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing‚ 8E‚ pp244–285. http://link.springer.de/link/service/journals/00165/supp/list94_96.htm
Number
4
Pages
479–489
Publisher
Springer–Verlag
Volume
8
Year
1996