On the Use of Subtypes in ABEL Revised Version by Olaf Owe | Menrva Books | MenrvaBooks