Steadfast logic programs (1999)

by K-K Lau, M Ornaghi, S-˚A Tärnlund
Venue:J. Logic Programming