Results 291 to 299 of about 623,637 (299)
Some of the next articles are maybe not open access.
Backward Trace Slicing for Conditional Rewrite Theories
Logic Programming and Automated Reasoning, 2012María Alpuente +3 more
semanticscholar +1 more source