× Structural Induction on Partial Algebras, IIIntroduction to Theory and Application to Partial Algebrasvon H. ReichelNo detailed description available for "Structural Induction on Partial Algebras, II".