Melvin Fitting. leanTAP Revisited. Journal of Logic and Computation, 8(1):33-47, 1998.
@article{Fitting98:1, title = {leanTAP Revisited}, author = {Melvin Fitting}, year = {1998}, researchr = {https://researchr.org/publication/Fitting98%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {8}, number = {1}, pages = {33-47}, }