Ralph Freese George F. McNulty James B. Nation Inherently nonfinitely based lattices. 175-193 2002 115 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal115.html#FreeseMN02