Completion and amalgamation of bounded distributive quasi lattices | OUP Journals & Magazine | IEEE Xplore