A matching procedure for ω-order logic. Scientific Report No (1976)

by W E Gould
Venue:4, A F C R L