activity
20142025
most citedChecking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols

11 citations · 16 across the 12 of their papers we have counts for

collaborators
Showing 2023Show all

4 papers · 1 filter