
358 Bibliography
[208] Emil L. Post, Polyadic groups, Trans. Amer. Math. Soc. 48 (1940), 208–
350.
[209] Dag Prawitz, An improved proof procedure, Theoria (Lund) 26 (1960),
102–139.
[210] Stewart B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152
(1970), 39–60.
[211] Daniel Quillen, Projective modules over polynomial rings, Invent. Math.
36 (1976), 167–171.
[212] Saeed Rajaee, Non-associative Gröbner bases, J. Symbolic Comput. 41
(2006), no. 8, 887–904.
[213] T. Recio and M. P. Vélez, Automatic discovery of theorems in elementary
geometry, J. Automat. Reason. 23 (1999), no. 1, 63–82.
[214] Tomas Recio, Hans Sterk, and M. Pilar Vélez, Automatic