Authors: ANTOY S MIDDELDORP A

Citation: S. Antoy et A. Middeldorp, A SEQUENTIAL REDUCTION STRATEGY, Theoretical computer science, 165(1), 1996, pp. 75-95

Authors: ANTOY S GANNON J

Citation: S. Antoy et J. Gannon, USING TERM REWRITING TO VERIFY SOFTWARE, IEEE transactions on software engineering, 20(4), 1994, pp. 259-274