Boolean posets, posets under inclusion and products of relational structures (1996)

by Adam Grabowski, Robert Milewski
Venue:Journal of Formalized Mathematics