Prolog with Arrays and Bounded Quantifications (1993)

Cached

Download Links

by Jonas Barklund , Johan Bevemyr
Venue:Logic Programming and Automated Reasoning---Proc. 4th Intl. Conf.', LNCS 698
Citations:12 - 2 self