{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:43Z","timestamp":1750307083547,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T00:00:00Z","timestamp":1348012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,19]]},"DOI":"10.1145\/2370776.2370790","type":"proceedings-article","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T23:48:43Z","timestamp":1348616923000},"page":"103-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Tor"],"prefix":"10.1145","author":[{"given":"Tom","family":"Schrijvers","sequence":"first","affiliation":[{"name":"Ghent University, Gent, Belgium"}]},{"given":"Markus","family":"Triska","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[{"name":"KU Leuven, Leuven, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2012,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SPLT'90","author":"Aggoun Abderrahmane","year":"1990","unstructured":"Abderrahmane Aggoun and Nicolas Beldiceanu . Time stamps techniques for the trailed data in constraint logic programming systems. In Serge Bourgault and Mehmet Dincbas, editors , SPLT'90 , 8'eme S\u00e9minaire Programmation en Logique, 16--18 mai 1990 , Tr\u00e9gastel, France, pages 487--510, 1990. Abderrahmane Aggoun and Nicolas Beldiceanu. Time stamps techniques for the trailed data in constraint logic programming systems. In Serge Bourgault and Mehmet Dincbas, editors, SPLT'90, 8'eme S\u00e9minaire Programmation en Logique, 16--18 mai 1990, Tr\u00e9gastel, France, pages 487--510, 1990."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000482"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000470"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706354"},{"key":"e_1_3_2_1_5_1","first-page":"607","volume-title":"Proceedings of the 15th International Joint Conferences on Artificial Intelligence (IJCAI 1995","author":"William","year":"1995","unstructured":"William D. Harvey and Matthew L. Ginsberg. Limited discrepancy search . In Proceedings of the 15th International Joint Conferences on Artificial Intelligence (IJCAI 1995 ), pages 607 -- 613 , 1995 . William D. Harvey and Matthew L. Ginsberg. Limited discrepancy search. In Proceedings of the 15th International Joint Conferences on Artificial Intelligence (IJCAI 1995), pages 607--613, 1995."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000457"},{"key":"e_1_3_2_1_8_1","first-page":"220","volume-title":"Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP 1997","author":"Kiczales Gregor","year":"1997","unstructured":"Gregor Kiczales , John Lamping , Anurag Menhdhekar , Chris Maeda , Christina V. Lopes , Jean-Marc Loingtier , and John Irwin . Aspectoriented programming . In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP 1997 ), pages 220 -- 242 , 1997 . Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Christina V. Lopes, Jean-Marc Loingtier, and John Irwin. Aspectoriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP 1997), pages 220--242, 1997."},{"key":"e_1_3_2_1_9_1","volume-title":"North-Holland","author":"Kowalski Robert","year":"1979","unstructured":"Robert Kowalski . Logic for Problem Solving . North-Holland , 1979 . Robert Kowalski. Logic for Problem Solving. North-Holland, 1979."},{"key":"e_1_3_2_1_10_1","volume-title":"Guido Wachsmuth. Aspect-Orientation in Prolog. In Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation","author":"Lohmann Wolfgang","year":"2006","unstructured":"Wolfgang Lohmann , G\u00fcnter Riedewald , and Guido Wachsmuth. Aspect-Orientation in Prolog. In Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation , 2006 . Wolfgang Lohmann, G\u00fcnter Riedewald, and Guido Wachsmuth. Aspect-Orientation in Prolog. In Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation, 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000512"},{"key":"e_1_3_2_1_12_1","first-page":"3","volume-title":"Proceedings of the International Conference on Logic Programming (ICLP 1997","author":"Schachte Peter","year":"1997","unstructured":"Peter Schachte . Global variables in logic programming . In Proceedings of the International Conference on Logic Programming (ICLP 1997 ), pages 3 -- 17 , 1997 . Peter Schachte. Global variables in logic programming. In Proceedings of the International Conference on Logic Programming (ICLP 1997), pages 3--17, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000469"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990086"},{"key":"e_1_3_2_1_15_1","volume-title":"Peter Stuckey. Search Combinators. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011","volume":"6876","author":"Schrijvers Tom","year":"2011","unstructured":"Tom Schrijvers , Guido Tack , Pieter Wuille , Horst Samulowitz , and Peter Stuckey. Search Combinators. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011 ), volume 6876 of Lecture Notes in Computer Science, pages 774--788. Springer , 2011 . Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter Stuckey. Search Combinators. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), volume 6876 of Lecture Notes in Computer Science, pages 774--788. Springer, 2011."},{"key":"e_1_3_2_1_16_1","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"Sterling Leon","year":"1994","unstructured":"Leon Sterling and Ehud Shapiro . The Art of Prolog: Advanced Programming Techniques . MIT Press , Cambridge, MA , 2. edition, 1994 . Leon Sterling and Ehud Shapiro. The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge, MA, 2. edition, 1994."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000500"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_24"},{"key":"e_1_3_2_1_19_1","volume-title":"Constraint-Based Local Search","author":"Hentenryck Pascal Van","year":"2005","unstructured":"Pascal Van Hentenryck and Laurent Michel . Constraint-Based Local Search . MIT Press , 2005 . Pascal Van Hentenryck and Laurent Michel. Constraint-Based Local Search. MIT Press, 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-006-9005-5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000445"}],"event":{"name":"PPDP'12: Principles and Practice of Declarative Programming","sponsor":["Kuleuven Belgium Kuleuven Belgium","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Leuven Belgium","acronym":"PPDP'12"},"container-title":["Proceedings of the 14th symposium on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2370776.2370790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2370776.2370790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:16Z","timestamp":1750239256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2370776.2370790"}},"subtitle":["extensible search with hookable disjunction"],"short-title":[],"issued":{"date-parts":[[2012,9,19]]},"references-count":22,"alternative-id":["10.1145\/2370776.2370790","10.1145\/2370776"],"URL":"https:\/\/doi.org\/10.1145\/2370776.2370790","relation":{},"subject":[],"published":{"date-parts":[[2012,9,19]]},"assertion":[{"value":"2012-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}