TPTP Reference: PV05
@Article{PV05-a,
Author = "Phillips, J.D. and Vojtechovsky, P.",
Year = "2005",
Title = "{The Varieties of Quasigroups of Bol-Moufang Type: An
Equational Reasoning Approach}",
Journal = "Journal of Algebra",
Volume = "293",
Pages = "17-33",
Comment = "TPTPRef"
}
@Article{PV05-b,
Author = "Phillips, J.D. and Vojtechovsky, P.",
Year = "2005",
Title = "{The Varieties of Loops of Bol-Moufang Type}",
Journal = "Algebra Universalis",
Volume = "54",
Number = "3",
Pages = "259-271",
Comment = "TPTPRef"
}