Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Complexity and Expressive Power of Logic Programming
Undecidable Problems About Timed Automata
Attribute grammars and recursive program schemes II
minimal recursion semantics : an introduction .
Specification and Verification of Concurrent Programs by forall-Automata
Finite Automata, Digraph Connectivity, and Regular Expression Size
Borel Ranks and Wadge Degrees of Context Free Omega Languages
Design of an intermediate representation for query languages
On the Completeness of Propositional Hoare Logic
A SAT-based procedure for verifying finite state machines in ACL2
Tracing and Explaining Execution of CLP(FD) Programs
Symbolic Model Checking using Zero-suppressed Decision Diagrams
A Compiler for Deterministic, Decomposable Negation Normal Form
Test Selection Criteria for Quantifier-Free First-Order Specifications
Regular Functions and Cost Register Automata
An executable formal semantics of C with applications
Regular Expressions for PCTL Counterexamples
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
Exact finite-state machine identification from scenarios and temporal properties
Delphi application for face detection using the sobel operator
A Note on Succinct Representations of Graphs
DSP-Based Real-Time Implementation of a Hybrid $H \infty$ Adaptive Fuzzy Tracking Controller for Servo-Motor Drives
Facial Expression Emotion Detection for Real-Time Embedded Systems
A Pink Milk Bottle Mystery