92 citations · 394 across the 34 of their papers we have counts for
1 paper · 2 filters
Yanhong A. Liu, Scott D. Stoller
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different,…