voronov's Top Recommendations

These recommendations were last updated 7 minutes ago.

	Verification and Optimization of a PLC Control Schedule [My Copy] In Journal of Software Tools for Technology Transfer (STTT, Vol. 4 (0) by Ed Brinksma, Angelika Mader posted by 2 people dwei98 zhensong
	Systems and Software Verification: Model-Checking Techniques and Tools [My Copy] (09 August 2001) by B. Berard, M. Bidoit, A. Finkel, et al.F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen posted by 2 people dwei98 zhensong
	Resilience Analysis of Packet-Switched Communication Networks [My Copy] Networking, IEEE/ACM Transactions on, Vol. PP, No. 99. (18 August 2009), pp. 1-1. by M. Menth, M. Duelli, R. Martin, J. Milbrandt posted by 2 people dwei98 weitsang
	The VIKING project: An initiative on resilient control of power networks [My Copy] Resilient Control Systems, 2009. ISRCS '09. 2nd International Symposium on (18 September 2009), pp. 31-35. by Annarita Giani, Shankar Sastry, Karl H. Johansson, Henrik Sandberg posted by 2 people dwei98 zhensong
	Resilience Engineering: Concepts And Precepts [My Copy] (30 April 2006) posted by 2 people dwei98 zhensong
	Resilience Technologies in Ethernet [My Copy] Computer Networks (22 August 2009) by Minh Huynh, Stuart Goose, Prasant Mohapatra posted by 1 person dwei98
	Symbolic sub-systems and symbolic control of linear systems [My Copy] Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on (2005), pp. 18-23. by P. Tabuada posted by 2 people dwei98 zhensong
	Verification and Control of Hybrid Systems: A Symbolic Approach [My Copy] (15 June 2009) by Paulo Tabuada posted by 2 people dwei98 zhensong
	Resiliency as a component importance measure in network reliability [My Copy] Reliability Engineering & System Safety, Vol. 94, No. 10. (October 2009), pp. 1685-1693. by John C. Whitson, Jose E. Ramirez-Marquez posted by 1 person dwei98
	Resilience Engineering Perspectives, Erik Hollnagel, Christopher P. Nemeth, Sidney Dekker. Remaining Sensitive to the Possibility of Failure, Vol. 1. Ashgate Publishing Limited, Aldershot, Hampshire, England (2008), ISBN 978-0-7546-7127-5. [My Copy] Safety Science (23 March 2009) by Merlijn Mikkers posted by 1 person dwei98
	Safety verification and reachability analysis for hybrid systems☆ [My Copy] Annual Reviews in Control, Vol. 33, No. 1. (April 2009), pp. 25-36. by Hervé Guéguen, Marie-Anne Lefebvre, Janan Zaytoon, Othman Nasri posted by 1 person dwei98
	Collective work and resilience of complex systems [My Copy] Journal of Loss Prevention in the Process Industries, Vol. 22, No. 4. (July 2009), pp. 516-527. by Mario C. R. Vidal, Paulo V. R. Carvalho, Marcello S. Santos, Isaac J. Santos posted by 1 person dwei98
	Verification of real-time systems with preemption: negative and positive results [My Copy] Innovations in Systems and Software Engineering by Frédéric Boniol, Jérôme Ermont, Claire Pagetti posted by 1 person dwei98
	Resilient Overlay Networks [My Copy] (2001) by David Andersen, Hari Balakrishnan, Frans Kaashoek, Robert Morris posted by 4 people dwei98 Hacktor zhensong ptony82
	Decompositional Petri Net Reductions [My Copy] Integrated Formal Methods (2009), pp. 352-366. by Astrid Rakow posted by 2 people dwei98 StFX Centre for Logic and Information
	IEEE standard for software verification and validation plans [My Copy] IEEE Std 1012-1986 In IEEE Std 1012-1986 (1986) posted by 2 people dwei98 kirchengast
	Theorem Proving for Verification (Invited Tutorial) [My Copy] Computer Aided Verification (2008), pp. 11-18. by John Harrison posted by 2 people dwei98 michaelbanks
	Formal methods in PLC programming [My Copy] Systems, Man, and Cybernetics, 2000 IEEE International Conference on In Systems, Man, and Cybernetics, 2000 IEEE International Conference on, Vol. 4 (2000), pp. 2431-2436 vol.4. by G. Frey, L. Litz posted by 2 people dwei98 zhensong
	Probabilistic model checking in practice: case studies with PRISM [My Copy] SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21. by Marta Kwiatkowska, Gethin Norman, David Parker posted by 4 people dwei98 zhensong streetlightios frdr
	Validation, verification, and testing: diversity rules [My Copy] Software, IEEE In Software, IEEE, Vol. 15, No. 4. (1998), pp. 46-49. by B. Kitchenham, S. Linkman posted by 2 people dwei98 JansonHanson
	Formalization and verification of safety properties of Statechart specifications [My Copy] Software Engineering Conference, 1996. Proceedings. 1996 Asia-Pacific In Software Engineering Conference, 1996. Proceedings. 1996 Asia-Pacific (1996), pp. 16-27. by K. C. Kang, K. I. Ko posted by 1 person dwei98
	Selecting V&V Technology Combinations: How to Pick a Winner? [My Copy] Engineering of Complex Computer Systems, IEEE International Conference on, Vol. 0 (2007), pp. 87-96. by Paul Strooper, Margaret A. Wojcicki posted by 2 people dwei98 whazzup221
	Symbolic model checking [My Copy] Computer Aided Verification (1996), pp. 419-422. by E. Clarke, K. Mcmillan, S. Campos, V. Hartonas-Garmhausen posted by 1 person dwei98
	Runtime Checking for Program Verification [My Copy] Runtime Verification (2007), pp. 202-213. by Karen Zee, Viktor Kuncak, Michael Taylor, Martin Rinard posted by 2 people dwei98 pedagand
	Flexibility in manufacturing and services: achievements, insights and challenges [My Copy] Flexible Services and Manufacturing Journal by John Buzacott, Marvin Mandelbaum posted by 1 person dwei98
	Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal [My Copy] Formal Methods for Real-Time and Probabilistic Systems (1999), pp. 277-298. by Klaus Havelund, Kim Larsen, Arne Skou posted by 2 people zhensong dwei98
	Theorem Proving for Verification [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John Rushby posted by 3 people dwei98 mishra_satish michaelbanks
	An Automated Approach for Verification of Software Requirements ⋆ [My Copy] by Amador Durán, Antonio Ruiz, Miguel Toro posted by 2 people dwei98 swatipendyala
	Theorem Proving for Verification [My Copy] In MOVEP '00: Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John M. Rushby posted by 2 people dwei98 shimomura
	An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) [My Copy] (06 August 2007) by Peter Smith posted by 4 people pirapira dwei98 Scis0000002 NitinCR
	Resilient Intrusion Tolerance through Proactive and Reactive Recovery [My Copy] In PRDC '07: Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) (2007), pp. 373-380. by Paulo Sousa, Alysson N. Bessani, Miguel Correia, Nuno F. Neves, Paulo Verissimo posted by 2 people dwei98 twood
	Godel's Incompleteness Theorems (Oxford Logic Guides, No 19) [My Copy] (20 August 1992) by Raymond M. Smullyan posted by 2 people dwei98 NitinCR
	Using SPIN for feature interaction analysis - a case study [My Copy] In In [15, Vol. 2057 (2001), pp. 143-162. by M. Calder, A. Miller posted by 2 people dwei98 eduardod
	Model Checking of Robotic Control Systems [My Copy] In In Proc. of the 8th International symposium on Artificial Intelligence, Robotics and Automation in Space (2005), pp. 5-8. by S. Scherer, F. Lerda, E. M. Clarke posted by 3 people dwei98 zhensong gvdh
	Resilient Network Coding in the Presence of Byzantine Adversaries [My Copy] Information Theory, IEEE Transactions on In Information Theory, IEEE Transactions on, Vol. 54, No. 6. (2008), pp. 2596-2603. by S. Jaggi, M. Langberg, S. Katti, et al.T. Ho, D. Katabi, M. Medard, M. Effros posted by 2 people dwei98 rachit
	Towards the verification of scenarios with time Petri-nets [My Copy] Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International In Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International (2000), pp. 503-508. by J. Lee, Jiann-I Pan, Jong-Yih Kuo, Yong-Yi Fanjiang, S. Yang posted by 1 person dwei98
	Formal verification in a component-based reuse methodology [My Copy] System Synthesis, 2002. 15th International Symposium on In System Synthesis, 2002. 15th International Symposium on (2002), pp. 156-161. by D. Karlsson, P. Eles, Zebo Peng posted by 1 person dwei98
	Constraint-Based Approach for Analysis of Hybrid Systems [My Copy] Computer Aided Verification (2008), pp. 190-203. by Sumit Gulwani, Ashish Tiwari posted by 2 people dwei98 hwang
	Timed Automata [My Copy] Computer Aided Verification (1999), pp. 688-688. by Rajeev Alur posted by 4 people zhensong dwei98 StFX Centre for Logic and Information newdawn
	Formal verification of systemc designs using a petri-net based representation [My Copy] In DATE '06: Proceedings of the conference on Design, automation and test in Europe (2006), pp. 1228-1233. by Daniel Karlsson, Petru Eles, Zebo Peng posted by 1 person dwei98
	Formal Verification and Synthesis for an Air Traffic Management System [My Copy] by Adilson L. Bonifácio posted by 2 people dwei98 castillo_grc
	Principles of Model Checking [My Copy] (31 May 2008) by Christel Baier, Joost-Pieter Katoen posted by 5 people dwei98 mperalta cometyang srccheck leonardo
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted by 7 people dwei98 maddogmiller StFX Centre for Logic and Information streetlightios yoriyuki keigoi msakai
	Design Framework Of PLC-Based Control For Reconfigurable Manufacturing Systems [My Copy] by Matthias Schreyer, Mitchell M. Tseng posted by 2 people dwei98 guohuijuan
	Patterns in Property Specifications for Finite-State Verification [My Copy] No. UM-CS-1998-035. (1998) by M. B. Dwyer, G. S. Avrunin, J. C. Corbett posted by 2 people dwei98 seanc
	The First Thirty Years: Experience with Software Verification [My Copy] Tests and Proofs (2008), pp. 1-3. by Michael Hennell posted by 2 people dwei98 leonardo
	Testing the Machine in the World [My Copy] Hardware and Software, Verification and Testing (2007), pp. 198-203. by Michael Jackson posted by 2 people dwei98 pverstra
	Verification of C Programs Using Automated Reasoning [My Copy] In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (2007), pp. 7-14. by David Crocker, Judith Carlton posted by 2 people dwei98 bhuber
	Formal development and verification of a distributed railway control system [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 8. (2000), pp. 687-701. by A. E. Haxthausen, J. Peleska posted by 1 person dwei98
	Genesys-Pro: innovations in test program generation for functional processor verification [My Copy] IEEE Design & Test of Computers In IEEE Design & Test of Computers, Vol. 21, No. 2. (2004), pp. 84-93. by A. Adir, E. Almog, L. Fournier, et al.E. Marcus, M. Rimon, M. Vinov, A. Ziv posted by 2 people dwei98 lcigler
	Formal verification of timed systems: a survey and perspective [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 92, No. 8. (19 July 2004), pp. 1283-1305. by Farn Wang posted by 4 people zhensong dwei98 torens jrloria
	Verification of Finite-State-Machine Refinements Using a Symbolic Methodology [My Copy] Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705. by Stefan Hendricx, Luc Claesen posted by 2 people dwei98 leonardo
	Applications of Hierarchical Verification in Model Checking [My Copy] Formal Methods in Computer-Aided Design (2000), pp. 1-19. by Robert Beers, Rajnish Ghughal, Mark Aagaard posted by 2 people dwei98 leonardo
	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling [My Copy] In CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification (2002), pp. 223-235. by H\aakan L. S. Younes, Reid G. Simmons posted by 2 people dwei98 tuncay
	Towards an automated test generation for the verification of model transformations [My Copy] In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 998-1005. by Maher Lamari posted by 4 people dwei98 adenilso leonardo bb
	Verification of Fault Tolerance and Real Time [My Copy] In Proceedings of the 26th IEEE Symposium on Fault Tolerant Computing Systems ({FTCS}-26) (1996), pp. 220-229. by Z. Liu, M. Joseph posted by 2 people dwei98 rCOS
	Rule-Based Runtime Verification [My Copy] Verification, Model Checking, and Abstract Interpretation (2004), pp. 277-306. by Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen posted by 3 people dwei98 mzp gfraser
	Formal Analysis of a Space-Craft Controller Using SPIN [My Copy] Software Engineering, Vol. 27, No. 8. (2001), pp. 1000-9999. by Klaus Havelund, Michael R. Lowry, John Penix posted by 3 people zhensong dwei98 bunge
	Verification engineering: a future profession [My Copy] In PODC '97: Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing (1997) by Amir Pnueli posted by 2 people dwei98 bunge
	Resilient Cluster Formation for Sensor Networks [My Copy] Distributed Computing Systems, 2007. ICDCS '07. 27th International Conference on (2007), pp. 40-40. by Donggang Liu posted by 2 people dwei98 HailunTan
	Attack-resilient hierarchical data aggregation in sensor networks [My Copy] In SASN '06: Proceedings of the fourth ACM workshop on Security of ad hoc and sensor networks (2006), pp. 71-82. by Sankardas Roy, Sanjeev Setia, Sushil Jajodia posted by 2 people dwei98 HailunTan
	Formal methods for the specification and design of real-time safety critical systems [My Copy] J. Syst. Softw., Vol. 18, No. 1. (April 1992), pp. 33-60. by Jonathan S. Ostroff posted by 2 people dwei98 citeilike
	Model Checking of Safety Properties [My Copy] Form. Methods Syst. Des., Vol. 19, No. 3. (November 2001), pp. 291-314. by Orna Kupferman, Moshe Y. Vardi posted by 2 people dwei98 bfraser
	Formal Validation of Hierarchical State Machines against Expectations [My Copy] Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 181-190. by Ian Toyn, Andy Galloway posted by 2 people dwei98 leonardo
	A Translation Method of Ladder Diagram on PLC with Application to a Manufacturing Process [My Copy] by Hyung S. Kim, Naehyuck Chang, Wook H. Kwon posted by 2 people dwei98 freddy
	Quality of resilience (QoR): NOBEL approach to the multi-service resilience characterization [My Copy] Broadband Networks, 2005 2nd International Conference on (2005), pp. 1328-1337 Vol. 2. by J. Tapolcai, P. Cholda, T. Cinkler, et al.K. Wajda, A. Jajszczyk, A. Autenrieth, S. Bodamer, D. Colle, G. Ferraris, H. Lonsethagen, I. E. Svinnset, D. Verchere posted by 3 people dwei98 gexarchakos P2P
	Automated Verification: Graphs, Logic, and Automata [My Copy] by Moshe V. Rice posted by 2 people dwei98 scis0000001
	HYTECH: A Model Checker for Hybrid Systems [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 1, No. 1-2. (1997), pp. 110-122. by Thomas A. Henzinger, Pei H. Ho, Howard W. Toi posted by 2 people dwei98 zhensong
	Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly [My Copy] Journal of Systems Architecture, Vol. 48, No. 1-3. (September 2002), pp. 17-35. by Ick, Wook, Ju posted by 2 people dwei98 leonardo
	Denial of Service Resilience in Ad Hoc Networks [My Copy] (2004) by I. Aad, J. Hubaux, E. Knightly posted by 3 people dwei98 eduardomoschetta network01
	Formal verification of Statecharts using finite-state model checkers [My Copy] American Control Conference, 2001. Proceedings of the 2001, Vol. 1 (2001), pp. 313-318 vol.1. by Qianchuan Zhao, B. H. Krogh posted by 2 people dwei98 leonardo
	How resilient are distributed f fault/intrusion-tolerant systems? [My Copy] Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on (2005), pp. 98-107. by P. Sousa, N. F. Neves, P. Verissimo posted by 2 people dwei98 pjsousa
	Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach [My Copy] Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357. by Mengchu Zhou posted by 3 people dwei98 pverstra macc
	Software verification and validation: an overview [My Copy] Software, IEEE, Vol. 6, No. 3. (1989), pp. 10-17. by D. R. Wallace, R. U. Fujii posted by 3 people dwei98 jhs06r gergana_nikolova
	A Substructural Logic for Formal Verification [My Copy] by Sara Kalvala, Valeria de Paiva posted by 2 people dwei98 vcvpaiva
	Modular Verification of Open Features Using Three-Valued Model Checking [My Copy] Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382. by Harry Li, Shriram Krishnamurthi, Kathi Fisler posted by 4 people dwei98 eduardod bfraser KarlKlose
	Automatic verification of finite-state concurrent systems using temporal logic specifications [My Copy] ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263. by E. M. Clarke, E. A. Emerson, A. P. Sistla posted by 7 people dwei98 streetlightios aristodemos hmeyer pintman gk-intern mccrimson
	Model Checking [My Copy] (07 January 1999) by Edmund M. Clarke, Orna Grumberg, Doron A. Peled posted by 19 people fierykylin dwei98 tropic StFX Centre for Logic and Information streetlightios mishra_satish qurat yliesfalcone zhensong srccheck hmeyer fheintz schuh cbertolini gfraser arturmeski gk-intern juniorpivetta zuleger
	Reinforcing the Resilience of Complex Networks [My Copy] (5 January 2004) by L. d. F. Luciano posted by 3 people dwei98 nettraq Philosophy_of_Information
	Tiling Imperfectly-nested Loop Nests [My Copy] (2000), pp. 60-60. by Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali posted by 1 person nicolasvasilache
	Maximizing Parallelism and Minimizing Synchronization with Affine Transforms [My Copy] In Proceedings of the Twenty-fourth Annual ACM Symposium on the Principles of Programming Languages (1997) by A. W. Lim, M. S. Lam posted by 3 people sharshera nicolasvasilache SCAL
	Intelligent Systems and Formal Methods in Software Engineering [My Copy] Intelligent Systems, IEEE In Intelligent Systems, Vol. 21, No. 6. (02 January 2007), pp. 71-81. by B. Beckert, T. Hoare, R. Hahnle, et al.D. R. Smith, C. Green, S. Ranise, C. Tinelli, T. Ball, S. K. Rajamani posted by 2 people chsticksel bfraser
	The Disconnection Tableau Calculus [My Copy] Journal of Automated Reasoning, Vol. 38, No. 1. (1 April 2007), pp. 79-126. by Reinhold Letz, Gernot Stenz posted by 1 person chsticksel
	Conflict Resolution [My Copy] Principles and Practice of Constraint Programming - CP 2009 (2009), pp. 509-523. by Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov posted by 3 people 8_01 lilith chsticksel
	Real World Verification [My Copy] Automated Deduction – CADE-22 In Automated Deduction – CADE-22 (2009), pp. 485-501. by André Platzer, Jan-David Quesel, Philipp Rümmer posted by 2 people chsticksel ACSys
	The TPTP Problem Library and Associated Infrastructure [My Copy] Journal of Automated Reasoning by Geoff Sutcliffe posted by 1 person chsticksel
	Computing finite models by reduction to function-free clause logic [My Copy] Journal of Applied Logic, Vol. 7, No. 1. (March 2009), pp. 58-74. by P. Baumgartner, A. Fuchs, H. Denivelle, C. Tinelli posted by 1 person chsticksel
	Paramodulation with Well-founded Orderings [My Copy] Journal of Logic and Computation, Vol. 19, No. 2. (April 2009), pp. 263-302. by Miquel Bofill, Albert Rubio posted by 1 person chsticksel
	veriT: An Open, Trustable and Efficient SMT-Solver [My Copy] In Automated Deduction – CADE-22 (2009), pp. 151-156. by Thomas Bouton, Caminha, David Déharbe, Pascal Fontaine posted by 1 person chsticksel
	On Deciding Satisfiability by DPLL() and Unsound Theorem Proving [My Copy] In Automated Deduction – CADE-22 (2009), pp. 35-50. by Maria Bonacina, Christopher Lynch, Leonardo de Moura posted by 1 person chsticksel
	Superposition and Model Evolution Combined [My Copy] In Automated Deduction – CADE-22 (2009), pp. 17-34. by Peter Baumgartner, Uwe Waldmann posted by 1 person chsticksel
	A Structure-preserving Clause Form Translation [My Copy] Journal of Symbolic Computation, Vol. 2, No. 3. (September 1986), pp. 293-304. by D. Plaisted, S. Greenbaum posted by 1 person chsticksel
	Translation Methods for Non-Classical Logics: An Overview [My Copy] Logic Jnl IGPL, Vol. 1, No. 1. (1 July 1993), pp. 69-89. by Hans J. U. R. G. E. N. Ohlbach posted by 1 person chsticksel
	Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2000), pp. 52-56. by Fabio Massacci, Francesco Donini posted by 1 person chsticksel
	Ordered Semantic Hyper-Linking [My Copy] Journal of Automated Reasoning, Vol. 25, No. 3. (1 October 2000), pp. 167-217. by David A. Plaisted, Yunshan Zhu posted by 1 person chsticksel
	New directions in instantiation-based theorem proving [My Copy] Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on (09 July 2003), pp. 55-64. by H. Ganzinger, K. Korovin posted by 1 person chsticksel
	Integrating Equational Reasoning into Instantiation-Based Theorem Proving [My Copy] Computer Science Logic (2004), pp. 71-84. by Harald Ganzinger, Konstantin Korovin posted by 1 person chsticksel
	Theory Instantiation [My Copy] Logic for Programming, Artificial Intelligence, and Reasoning (2006), pp. 497-511. by Harald Ganzinger, Konstantin Korovin posted by 1 person chsticksel
	The Model Evolution Calculus with Equality [My Copy] Automated Deduction – CADE-20 (2005), pp. 392-408. by Peter Baumgartner, Cesare Tinelli posted by 1 person chsticksel
	(LIA) - Model Evolution with Linear Integer Arithmetic Constraints [My Copy] Logic for Programming, Artificial Intelligence, and Reasoning (2008), pp. 258-273. by Peter Baumgartner, Alexander Fuchs, Cesare Tinelli posted by 1 person chsticksel