APA Citation

Schneider, S., Lambers, L., & Orejas Valdés, F. (2018). Automated reasoning for attributed graph properties.

Chicago Style Citation

Schneider, Sven, Leen Lambers, and Fernando|||0000-0002-3023-4006 Orejas Valdés. Automated Reasoning for Attributed Graph Properties. 2018.

MLA Citation

Schneider, Sven, Leen Lambers, and Fernando|||0000-0002-3023-4006 Orejas Valdés. Automated Reasoning for Attributed Graph Properties. 2018.

Warning: These citations may not always be 100% accurate.