A tactic calculus — abridged version
Crossref DOI link: https://doi.org/10.1007/BF01213535
Published Print: 1996-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Martin, A. P.
Gardiner, P. H. B.
Woodcock, J. C. P.
Text and Data Mining valid from 1996-07-01
