Author = Ghilardi,%20S.
Unification in lax logic

Volume 3, Issue 1, February 2022, Pages 61-75

S. Ghilardi; G. Lenzi