1995
The Todd-Coxeter Procedure and Left Kan Extensions.
[DOI]
S. Carmody
,
M. Leeming
,
Robert F. C. Walters
J. Symb. Comput., 1995