Arithmetic classi of perfect models of strati programs (1990)

by K R Apt, H A Blair
Venue:Fundamenta Informaticae