Reasoning about Prolog Programs: from Modes through Types to Assertions (1994)

Cached

Download Links

by Krzysztof R. Apt , Elena Marchiori
Citations:80 - 4 self