Login / Signup

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.

Byeong-Mo ChangKwang-Moo ChoeTaisook Han
Published in: Inf. Process. Lett. (1993)
Keyphrases