Ordered Resolution with Selection for H(@).

Carlos Areces, Daniel Gorn

Browse the full LPAR paper archive.