DMCA

Techniques for Verifying Prolog Implementations

Cached

Download Links

by Keehang Kwon , Jang-wu Jo , Sanghoon Kim