Wilfred Z. Chen

Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic

Wilfred Z. Chen, 1992, CADE.

ALEX an Alexical Programming Language

William Pugh, Tim Teitelbaum, Dexter Kozen, 1987 .

ALEX-AN ALEXI CAL PROGRAMMING LANGUAGE

William Pugh, Tim Teitelbaum, Dexter Kozen, 1990 .