APA (7th ed.) Citation
(2019). Bounded Quantifier Instantiation for Checking Inductive Invariants. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Bounded Quantifier Instantiation for Checking Inductive Invariants." Logical Methods in Computer Science 2019.
MLA (9th ed.) Citation
"Bounded Quantifier Instantiation for Checking Inductive Invariants." Logical Methods in Computer Science, 2019.
Warning: These citations may not always be 100% accurate.