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 2014 · cs.DBShow all

Nothing from them under that filter.

Their other years and fields are still on the left.