Onorelucanus onorei Lacroix & Bartolozzi, 1989

Onorelucanus onorei Lacroix & Bartolozzi 1989: 2 (original description); Bartolozzi et al. 1992: 162 (description, distribution); Maes 1992: 55; Krajcik 2001: 27 (catalog).

This species is treated in Bartolozzi et al. (1992).