Deductive Translation Validation for a Subset of Higher Order Logic

by Guodong Li , Konrad Slind