From b8f7277a422c2638d9bd66766237f1851ec7279f Mon Sep 17 00:00:00 2001 From: Martin Monperrus Date: Sun, 10 Oct 2010 11:47:41 +0200 Subject: [PATCH] new version of test data because of handling @string and crossref --- test/all.bib.txt | 371 +++++++++++++++++++---------------- test/bibacid-iso8859.bib.txt | 8 +- 2 files changed, 205 insertions(+), 174 deletions(-) diff --git a/test/all.bib.txt b/test/all.bib.txt index 58c3f93..4e0a0f8 100644 --- a/test/all.bib.txt +++ b/test/all.bib.txt @@ -1,15 +1,6 @@ array ( 'type' => 'InCollection', ) -array ( - 'author' => 'Frank Pfenning', - 'journal' => 'Journal of Automated Reasoning', - 'key' => ' pfenning93proof', - 'title' => 'A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework', - 'type' => 'article', - 'url' => 'citeseer.nj.nec.com/pfenning92proof.html', - 'year' => '1993', -) array ( 'address' => 'Providence, RI, USA', 'author' => 'Joachim P. Walser', @@ -52,7 +43,7 @@ array ( 'key' => 'AC7', 'month' => 'aug', 'pages' => '592--598', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Using Inference to Reduce Arc Consistency Computation', 'type' => 'inproceedings', 'year' => '1995', @@ -90,12 +81,17 @@ array ( 'year' => '1995', ) array ( + 'address' => 'San Diego, USA', 'author' => 'Janson, Sverker and Haridi, Seif', + 'booktitle' => 'Logic Programming, Proceedings of the 1991 International Symposium', 'crossref' => 'SLP91', + 'editor' => 'Saraswat, Vijay and Ueda, Kazunori', 'key' => 'AKL', 'pages' => '167--186', + 'publisher' => 'The MIT Press', 'title' => 'Programming Paradigms of the Andorra Kernel Language', 'type' => 'InProceedings', + 'year' => '1991', ) array ( 'address' => 'Cambridge, MA', @@ -115,7 +111,7 @@ array ( 'editor' => 'Jean-Louis Lassez', 'key' => 'ALPS', 'pages' => '858--876', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Logic Semantics for a Class of Committed-Choice Programs', 'type' => 'inproceedings', 'year' => '1987', @@ -404,6 +400,7 @@ array ( 'key' => 'Backus:77', 'note' => '1977 Turing Award Lecture', 'publisher' => 'The ACM Press', + 'series' => 'Anthology series', 'title' => 'Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs', 'type' => 'incollection', 'year' => '1987', @@ -509,10 +506,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Beck:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '390--404', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Five Pitfalls of Empirical Scheduling Research', 'type' => 'InProceedings', 'year' => '1997', @@ -643,8 +640,8 @@ array ( 'editor' => 'J. Diaz and I. Ramos', 'key' => 'Brock_81', 'pages' => '252-259', - 'publisher' => ', Berlin', - 'series' => '~107', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  107', 'title' => 'Scenarios: A Model of Non-determinate Computation', 'type' => 'inproceedings', 'year' => '1981', @@ -683,13 +680,17 @@ array ( 'year' => '1993', ) array ( + 'address' => 'San Francisco, CA', 'author' => 'Gérard Berry and Gérard Boudol', + 'booktitle' => 'Proceedings of the 17th ACM Conference on Principles of Programming Languages', 'crossref' => 'popl90', 'key' => 'CAM', 'loc' => 'RT', + 'month' => 'jan', 'pages' => '81--94', 'title' => 'The Chemical Abstract Machine', 'type' => 'InProceedings', + 'year' => '1990', ) array ( 'author' => 'Yves Caseau and François Laburthe', @@ -790,8 +791,8 @@ array ( 'key' => 'CP:95', 'month' => '19--22 sep', 'pages' => '328--344', - 'publisher' => ', Berlin', - 'series' => '~976', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  976', 'title' => 'Situated Simplification', 'type' => 'InProceedings', 'year' => '1995', @@ -880,7 +881,7 @@ array ( 'month' => 'sep', 'optnote' => 'FD in Prolog, indexicals, reified constraints', 'publisher' => 'Springer-Verlag', - 'series' => '~1292Berlin', + 'series' => 'Lecture Notes in Computer Science 1292Berlin', 'title' => 'An Open-Ended Finite Domain Constraint Solver', 'type' => 'InProceedings', 'year' => '1997', @@ -916,10 +917,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Caseau:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '17--31', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Solving Various Weighted Matching Problems with Constraints', 'type' => 'InProceedings', 'year' => '1997', @@ -932,7 +933,7 @@ array ( 'key' => 'Caseau:ICLP97', 'month' => 'jul', 'pages' => '316--330', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Solving Small TSP with Constraint', 'type' => 'InProceedings', 'year' => '1997', @@ -945,7 +946,7 @@ array ( 'key' => 'Cesta99', 'month' => 'aug', 'pages' => '1022--1029', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'An Iterative Sampling Procedure for Resource Constrained Project Scheduling with Time Windows', 'type' => 'InProceedings', 'volume' => '2', @@ -979,8 +980,8 @@ array ( 'key' => 'Chikayama:94', 'month' => 'sep', 'pages' => '261--276', - 'publisher' => ', Berlin', - 'series' => '~844', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'A Portable and Efficient Implementation of KL1', 'type' => 'incollection', 'year' => '1994', @@ -1001,10 +1002,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Chu:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '341--355', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Look-Ahead Versus Look-Back for Satisfiability Problems', 'type' => 'InProceedings', 'year' => '1997', @@ -1047,8 +1048,8 @@ array ( 'key' => 'Codognet94', 'month' => 'sep', 'pages' => '244-260', - 'publisher' => ', Berlin', - 'series' => '~844', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving', 'type' => 'InProceedings', 'year' => '1994', @@ -1141,7 +1142,7 @@ array ( 'type' => 'Article', ) array ( - 'howpublished' => ', 36(9)', + 'howpublished' => 'Special Issue of \\it Communications of the ACM, 36(9)', 'key' => 'Concurrent Object-Oriented Programming', 'month' => 'sep', 'title' => 'Concurrent Object-Oriented Programming', @@ -1179,7 +1180,7 @@ array ( 'author' => 'Joachim Niehren and Martin Müller', 'booktitle' => 'International Workshop on Concurrent Constraints Programming', 'key' => 'ConstraintsFree:95', - 'month' => '29--31', + 'month' => 'may 29--31', 'title' => 'Constraints for Free in Concurrent Computation', 'type' => 'InProceedings', 'year' => '1995', @@ -1191,8 +1192,8 @@ array ( 'editor' => 'de Bakker, Jacobus and de Roever, Willem and Rozenberg, Grzegorz', 'key' => 'Cook_90', 'pages' => '151--178', - 'publisher' => ', Berlin', - 'series' => '~489', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  489', 'title' => 'Object-Oriented Programming versus Abstract Data Types', 'type' => 'inproceedings', 'year' => '1991', @@ -1353,8 +1354,8 @@ array ( 'editor' => 'Bernhard Robinet', 'key' => 'Dennis74', 'pages' => '362--376', - 'publisher' => ', Berlin', - 'series' => '~19', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 19', 'title' => 'First Version of a Data Flow Procedure Language', 'type' => 'INPROCEEDINGS', 'year' => '1974', @@ -1366,7 +1367,7 @@ array ( 'editor' => 'Cook, Stephen', 'key' => 'Deutsch89', 'pages' => '73--87', - 'publisher' => 'Cambridge, MA', + 'publisher' => 'Cambridge University Press, Cambridge, MA', 'title' => 'The Past, Present, and Future of Smalltalk', 'type' => 'inproceedings', 'year' => '1989', @@ -1378,7 +1379,7 @@ array ( 'editor' => 'Alan Demers', 'key' => 'Deutsch:83', 'pages' => '297--302', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Efficient Implementation of the Smalltalk-80 System', 'type' => 'InProceedings', 'year' => '1983', @@ -1452,7 +1453,7 @@ array ( 'editor' => 'Andreas Paepcke', 'key' => 'Dony_92', 'pages' => '201--217', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation', 'type' => 'InProceedings', 'year' => '1992', @@ -1476,7 +1477,7 @@ array ( 'key' => 'Draper99', 'month' => 'aug', 'pages' => '1016--1021', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Cyclic Scheduling', 'type' => 'InProceedings', 'volume' => '2', @@ -1558,10 +1559,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Engines:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '519--533', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Programming Constraint Inference Engines', 'type' => 'InProceedings', 'year' => '1997', @@ -1581,7 +1582,7 @@ array ( 'key' => 'Explorer:97', 'month' => 'jul', 'pages' => '286--300', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Oz Explorer: A Visual Constraint Programming Tool', 'type' => 'InProceedings', 'year' => '1997', @@ -1670,8 +1671,8 @@ array ( 'key' => 'Fages94', 'month' => 'sep', 'pages' => '261--276', - 'publisher' => ', Berlin', - 'series' => '~844', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'Handling Preferences in Constraint Logic Programming with Relational Optimization', 'type' => 'InProceedings', 'year' => '1994', @@ -1716,7 +1717,7 @@ array ( 'author' => 'Klaus Fischer and Jörg Müller and Markus Pischel', 'booktitle' => 'Proceedings of the International Conference on Multiagent Systems (ICMAS)', 'key' => 'Fischer:95', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'A Model for Cooperative Transportation Scheduling', 'type' => 'InProceedings', 'year' => '1995', @@ -1783,7 +1784,7 @@ array ( 'key' => 'GACSchema', 'month' => 'aug', 'pages' => '398--404', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Arc Consistency for General Constraint Network: Preliminary Results', 'type' => 'inproceedings', 'year' => '1997', @@ -1794,8 +1795,8 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP 2000, Proceedings of the Sixth International Conference', 'editor' => 'Rina Dechter', 'key' => 'GM2000', - 'publisher' => ', Berlin', - 'series' => '~1894', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1894', 'title' => 'Constraint Propagation: Between Abstract Models and ad hoc Strategies', 'type' => 'InProceedings', 'year' => '2000', @@ -2049,8 +2050,8 @@ array ( 'key' => 'Harrison96', 'month' => 'aug', 'pages' => '221--234', - 'publisher' => ', Berlin', - 'series' => '~1125', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1125', 'title' => 'St\\aalmarck\'s Algorithm as a HOL Derived Rule', 'type' => 'inproceedings', 'year' => '1996', @@ -2141,7 +2142,7 @@ array ( 'key' => 'HewittBaker77', 'month' => 'aug', 'pages' => '987--992', - 'publisher' => ', Amsterdam', + 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Laws for Communicating Parallel Processes', 'type' => 'INPROCEEDINGS', 'year' => '1977', @@ -2186,8 +2187,8 @@ array ( 'editor' => 'Pierre America', 'key' => 'Hoelzle:91', 'pages' => '21--38', - 'publisher' => ', Berlin', - 'series' => '~512', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  512', 'title' => 'Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches', 'type' => 'InProceedings', 'year' => '1991', @@ -2242,7 +2243,7 @@ array ( 'key' => 'Hoos99', 'month' => 'aug', 'pages' => '296--302', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'SAT-Encodings, Search Space Structure, and Local Search Performance', 'type' => 'InProceedings', 'volume' => '1', @@ -2264,7 +2265,7 @@ array ( 'editor' => 'Andreas Paepcke', 'key' => 'Horn_92', 'pages' => '218--233', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Constraint Patterns As a Basis For Object Oriented Programming', 'type' => 'InProceedings', 'year' => '1992', @@ -2296,8 +2297,8 @@ array ( 'editor' => 'E.K.Burke and P.Ross', 'key' => 'ICPTAT95', 'pages' => '162--177', - 'publisher' => ', Berlin', - 'series' => '~1153', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1153', 'title' => 'Using Oz for College Time Tabling', 'type' => 'InProceedings', 'year' => '1996', @@ -2306,7 +2307,7 @@ array ( 'author' => 'Martin Henz', 'journal' => 'IEEE Intelligent Systems', 'key' => 'IEEEIS2000', - 'month' => '-feb', + 'month' => 'jan-feb', 'number' => '1', 'pages' => '5--7', 'title' => 'Friar Tuck - A Constraint-Based Tournament-Scheduling Tool', @@ -2321,7 +2322,7 @@ array ( 'editor' => 'Ruzena Bajcsy', 'key' => 'IJCAI93', 'pages' => '404--409', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Oz---A Programming Language for Multi-Agent Systems', 'type' => 'InProceedings', 'volume' => '1', @@ -2351,7 +2352,7 @@ array ( 'editor' => 'R. E. A. Mason', 'key' => 'Ida83', 'pages' => '265--270', - 'publisher' => ', Amsterdam', + 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Functional Programming with Streams', 'type' => 'InProceedings', 'year' => '1983', @@ -2453,8 +2454,8 @@ array ( 'key' => 'Jones_85', 'optnote' => '1608', 'pages' => '124-140', - 'publisher' => ', Berlin', - 'series' => '~202', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  202', 'title' => 'An Experiment in Partial Evaluation: The Generation of a Compiler Generator', 'type' => 'inproceedings', 'year' => '1985', @@ -2540,7 +2541,7 @@ array ( 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'key' => 'Kahn74', 'pages' => '471--475', - 'publisher' => ', Amsterdam', + 'publisher' => 'North-Holland, Amsterdam', 'title' => 'The Semantics of a Simple Language for Parallel Processes', 'type' => 'InProceedings', 'year' => '1974', @@ -2553,7 +2554,7 @@ array ( 'key' => 'Kahn77', 'month' => 'aug', 'pages' => '993--998', - 'publisher' => ', Amsterdam', + 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Coroutines and Networks of Parallel Processes', 'type' => 'INPROCEEDINGS', 'year' => '1977', @@ -2565,7 +2566,7 @@ array ( 'editor' => 'Stephen Cook', 'key' => 'Kahn89', 'pages' => '207--223', - 'publisher' => 'Cambridge, MA', + 'publisher' => 'Cambridge University Press, Cambridge, MA', 'title' => 'Objects: A fresh look', 'type' => 'inproceedings', 'year' => '1989', @@ -2619,7 +2620,7 @@ array ( 'key' => 'Kaindl99', 'month' => 'aug', 'pages' => '1178--1183', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Switching from Bidirectional to Unidirectional Search', 'type' => 'InProceedings', 'volume' => '2', @@ -2645,7 +2646,7 @@ array ( 'note' => 'SIGPLAN Notices, vol. 26, no. 9, September 1991', 'optnote' => '1608', 'pages' => '211-222', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Compiling inheritance using partial evaluation', 'type' => 'inproceedings', 'year' => '1991', @@ -2686,7 +2687,7 @@ array ( 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'editor' => 'Jack Rosenfeld', 'key' => 'Kowalski74', - 'publisher' => ', Amsterdam', + 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Predicate Logic as a Programming Language', 'type' => 'INPROCEEDINGS', 'year' => '1974', @@ -2863,8 +2864,8 @@ array ( 'editor' => 'Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa', 'key' => 'Lopez:94', 'pages' => '81--99', - 'publisher' => ', Berlin', - 'series' => '~821', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  821', 'title' => 'Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications', 'type' => 'InProceedings', 'year' => '1994', @@ -2969,8 +2970,8 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP 2000, Proceedings of the Sixth International Conference', 'editor' => 'Rina Dechter', 'key' => 'MT2000', - 'publisher' => ', Berlin', - 'series' => '~1894', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1894', 'title' => 'Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint', 'type' => 'inproceedings', 'year' => '2000', @@ -3067,7 +3068,7 @@ array ( 'key' => 'Meseguer99', 'month' => 'aug', 'pages' => '400--405', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Solving Strategies for Highly Symmetric CSPs', 'type' => 'InProceedings', 'volume' => '1', @@ -3080,8 +3081,8 @@ array ( 'editor' => 'Oscar Nierstrasz', 'key' => 'Meseguer:93', 'pages' => '220--246', - 'publisher' => ', Berlin', - 'series' => '~707', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  707', 'title' => 'Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming', 'type' => 'InProceedings', 'year' => '1993', @@ -3137,7 +3138,7 @@ array ( 'booktitle' => 'Proceedings of the Summer School on Logic and Algebra of Specification', 'editor' => 'Friedrich Bauer and Wilfried Brauer and Helmut Schwichtenberg', 'key' => 'Milner:91', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, NATO ASI Series, Berlin', 'title' => 'The Polyadic $\\pi$-Calculus: A Tutorial', 'type' => 'InProceedings', 'year' => '1993', @@ -3223,7 +3224,7 @@ array ( 'author' => 'Martin Müller and Joachim Niehren', 'booktitle' => 'Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing', 'key' => 'Mueller:CLNLP:95', - 'month' => '3--5', + 'month' => 'apr 3--5', 'note' => 'The orginal workshop version was titled: Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm.', 'title' => 'A Type is a Type is a Type', 'type' => 'InProceedings', @@ -3231,10 +3232,10 @@ array ( ) array ( 'author' => 'Martin Müller', - 'booktitle' => 'International Workshop on Unification', + 'booktitle' => '8$^th$ International Workshop on Unification', 'editor' => 'Denis Lugiez', 'key' => 'Mueller:Unif94', - 'month' => '23--25', + 'month' => 'jun 23--25', 'note' => 'Technical Report, Université de Nancy, to appear', 'title' => 'A Constraint-Based Recast of ML-Polymorphism', 'type' => 'InProceedings', @@ -3317,7 +3318,7 @@ array ( 'editor' => 'Andreas Paepcke', 'key' => 'Myers_92', 'pages' => '184--200', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods', 'type' => 'InProceedings', 'year' => '1992', @@ -3446,7 +3447,7 @@ array ( 'booktitle' => 'Asian Computing Science Conference', 'editor' => 'Kanchanasut, Kanchana and Lévy, Jean-Jaques', 'key' => 'NiehrenMueller:Free', - 'month' => '11--13', + 'month' => 'dec 11--13', 'note' => 'a preliminary version appeared in \\em First International Workshop on Concurrent Constraint Programming, Venice, Italy, 29--31 May 1995, \\citeConstraintsFree:95', 'pages' => '171--186', 'publisher' => 'Springer-Verlag', @@ -3544,7 +3545,7 @@ array ( 'editor' => 'Norman Meyrowitz', 'key' => 'OOPSLA87*227', 'pages' => '227--242', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Self: The Power of Simplicity', 'type' => 'INPROCEEDINGS', 'year' => '1987', @@ -3642,7 +3643,7 @@ array ( 'editor' => 'Norman Meyrowitz', 'key' => 'Pedersen:89', 'pages' => '407--418', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Extending Ordinary Inheritance Schemes to Include Generalization', 'type' => 'INPROCEEDINGS', 'year' => '1989', @@ -3653,7 +3654,7 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'Perron99', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Search Procedures and Paralleism in Constraint Programming', 'type' => 'inproceedings', 'year' => '1999', @@ -3708,7 +3709,7 @@ array ( 'key' => 'PrcovicNeveu99', 'month' => 'oct', 'pages' => '361--374', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search', 'type' => 'INPROCEEDINGS', 'year' => '1999', @@ -3805,10 +3806,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Regin:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '32--46', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'A Filtering Algorithm for Global Sequencing Constraints', 'type' => 'InProceedings', 'year' => '1997', @@ -3819,7 +3820,7 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'ReginCardinality99', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Arc Consistency for Global Cardinality Constraints with costs', 'type' => 'inproceedings', 'year' => '1999', @@ -3832,7 +3833,7 @@ array ( 'key' => 'ReginSymmetric99', 'month' => 'aug', 'pages' => '420--425', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'The Symmetric Alldiff Constraint', 'type' => 'InProceedings', 'volume' => '1', @@ -3864,7 +3865,7 @@ array ( 'key' => 'Remy', 'month' => 'jan', 'pages' => '40--53', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Objective ML: A Simple Object-Oriented Extension of ML', 'type' => 'InProceedings', 'year' => '1997', @@ -3886,7 +3887,7 @@ array ( 'booktitle' => 'Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation', 'key' => 'Reppy:91', 'pages' => '293--303', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'CML: A Higher-Order Concurrent Language', 'type' => 'InProceedings', 'year' => '1991', @@ -3912,8 +3913,8 @@ array ( 'key' => 'RhoCalc:94', 'month' => 'sep', 'pages' => '89--104', - 'publisher' => ', Berlin', - 'series' => '~845', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  845', 'title' => 'A Confluent Relational Calculus for Higher-Order Programming with Constraints', 'type' => 'InProceedings', 'year' => '1994', @@ -4377,8 +4378,8 @@ array ( 'editor' => 'Chris Hankin', 'key' => 'Smolka-Oz-SML-98', 'pages' => '1--11', - 'publisher' => ', Berlin', - 'series' => '~1381', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1381', 'title' => 'Concurrent Constraint Programming Based on Functional Programming', 'type' => 'InProceedings', 'year' => '1998', @@ -4533,7 +4534,7 @@ array ( 'key' => 'Stergiou99', 'month' => 'aug', 'pages' => '414--419', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'The Difference All-Difference Makes', 'type' => 'InProceedings', 'volume' => '1', @@ -4789,8 +4790,8 @@ array ( 'key' => 'UedaExperiences', 'month' => 'oct', 'pages' => '341--355', - 'publisher' => ', Berlin', - 'series' => '~1068', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1068', 'title' => 'Experiences with Strong Moding in Concurrent Logic/Constraint Programming', 'type' => 'InProceedings', 'year' => '1995', @@ -4822,7 +4823,7 @@ array ( 'author' => 'Peter Van Roy and Michael Mehl and Ralf Scheidhauer', 'booktitle' => 'International Symposium on Programming Languages, Implementations, Logics, and Programs', 'key' => 'VMS:PLILP96', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Integrating Efficient Records into Concurrent Constraint Programming', 'type' => 'InProceedings', 'year' => '1996', @@ -4874,7 +4875,7 @@ array ( 'editor' => 'Andreas Podelski', 'key' => 'VanHentenryck:95', 'publisher' => 'Springer-Verlag', - 'series' => '~910', + 'series' => 'Lecture Notes in Computer Science  910', 'title' => 'Design, Implementation and Evaluation of the Constraint Language cc(FD)', 'type' => 'InCollection', 'year' => '1995', @@ -4902,8 +4903,8 @@ array ( 'editor' => 'Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa', 'key' => 'Vitek:94', 'pages' => '432--449', - 'publisher' => ', Berlin', - 'series' => '~821', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  821', 'title' => 'Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages', 'type' => 'InProceedings', 'year' => '1994', @@ -4916,7 +4917,7 @@ array ( 'key' => 'Vol1000', 'pages' => '324--343', 'publisher' => 'Springer-Verlag', - 'series' => '~1000', + 'series' => 'Lecture Notes in Computer Science  1000', 'title' => 'The Oz Programming Model', 'type' => 'InCollection', 'year' => '1995', @@ -4948,7 +4949,7 @@ array ( 'key' => 'Walsh99', 'month' => 'aug', 'pages' => '1172--1177', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Search in a Small World', 'type' => 'InProceedings', 'volume' => '2', @@ -4985,8 +4986,8 @@ array ( 'key' => 'Watanabe_90', 'optnote' => '1608', 'pages' => '405--425', - 'publisher' => ', Berlin', - 'series' => '~489', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  489', 'title' => 'An Actor-Based Metalevel Architecture for Group-Wide Reflection', 'type' => 'inproceedings', 'year' => '1991', @@ -5000,6 +5001,7 @@ array ( 'key' => 'Wirth:80', 'note' => '1980 Turing Award Lecture', 'publisher' => 'The ACM Press', + 'series' => 'Anthology series', 'title' => 'bla', 'type' => 'incollection', 'year' => '1987', @@ -5100,7 +5102,7 @@ array ( 'editor' => 'Susanne Graf and Michael Schwartzbach', 'key' => 'abdulla2000', 'optnote' => '', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science', 'title' => 'Symbolic Reachability Analysis based on SAT Solvers', 'type' => 'inproceedings', @@ -5150,8 +5152,8 @@ array ( 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'J. Bosch and S. Mitchell', 'key' => 'aop:97', - 'publisher' => ', Berlin', - 'series' => '~1357', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1357', 'title' => 'Aspect-Oriented Programming', 'type' => 'InProceedings', 'year' => '1997', @@ -5252,7 +5254,7 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'bessiere99', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly', 'type' => 'inproceedings', 'year' => '1999', @@ -5279,8 +5281,8 @@ array ( 'key' => 'biere99', 'optnote' => '', 'pages' => '193-207', - 'publisher' => ', Berlin', - 'series' => '~1579', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1579', 'title' => 'Symbolic Model Checking without BDDs', 'type' => 'inproceedings', 'year' => '1999', @@ -5288,10 +5290,14 @@ array ( array ( 'author' => 'Stefano Bistarelli and Hélène Fargier and Ugo Montanari and Francesca Rossi and Thomas Schies and Gérard Verfaille', 'crossref' => 'jampel:book', + 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'bistarelli96', 'pages' => '111--150', + 'publisher' => 'Springer-Verlag', + 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison', 'type' => 'InCollection', + 'year' => '1996', ) array ( 'address' => 'Oxford, UK', @@ -5348,7 +5354,7 @@ array ( 'author' => 'Alan Borning and Robert Duisberg and Bjorn Freeman-Benson Axel Kramer and Michael Woolf', 'booktitle' => 'Proceedings of the 1987 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications', 'key' => 'borning87', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '48--60', 'publisher' => 'The ACM Press', 'title' => 'Constraint Hierarchies', @@ -5421,8 +5427,8 @@ array ( 'editor' => 'Gert Smolka', 'key' => 'caseau97', 'optnote' => '1608', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel', 'type' => 'inproceedings', 'year' => '1997', @@ -5455,7 +5461,7 @@ array ( 'editor' => 'Joxan Jaffar', 'key' => 'caseau_meta_cp99', 'pages' => '144--158', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'A Meta-Heuristic Factory for Vehicle Routing Problems', 'type' => 'inproceedings', 'year' => '1999', @@ -5551,7 +5557,7 @@ array ( 'editor' => 'Danny De Schreye', 'key' => 'claire_iclp99', 'pages' => '245--259', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms', 'type' => 'inproceedings', 'year' => '1999', @@ -5683,7 +5689,7 @@ array ( 'key' => 'dds', 'month' => 'aug', 'pages' => '1388--1393', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Depth-bounded Discrepancy Search', 'type' => 'INPROCEEDINGS', 'year' => '1997', @@ -5799,7 +5805,7 @@ array ( 'key' => 'flang', 'month' => 'jun', 'pages' => '633--646', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Memory Management of Constraints in Flang', 'type' => 'INPROCEEDINGS', 'year' => '1993', @@ -5811,7 +5817,7 @@ array ( 'editor' => 'Rina Dechter', 'key' => 'focacci00', 'pages' => '187--201', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Cutting Planes in Constraint Programming: An Hybrid Approach', 'type' => 'InProceedings', 'year' => '2000', @@ -5832,7 +5838,7 @@ array ( 'editor' => 'Joxan Jaffar', 'key' => 'focacci99', 'pages' => '189--203', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Cost-Based Domain Filtering', 'type' => 'inproceedings', 'year' => '1999', @@ -5861,10 +5867,14 @@ array ( array ( 'author' => 'Eugene Freuder and Richard Wallace', 'crossref' => 'jampel:book', + 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'freuder96', 'pages' => '63--110', + 'publisher' => 'Springer-Verlag', + 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Partial Constraint Satisfaction', 'type' => 'InProceedings', + 'year' => '1996', ) array ( 'address' => 'New York', @@ -5999,8 +6009,8 @@ array ( 'key' => 'hamadi97', 'optnote' => 'using FPGA for implementing GSAT', 'pages' => '209--221', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Reconfigurable Architectures: A new vision for optimization problems', 'type' => 'inproceedings', 'year' => '1997', @@ -6041,7 +6051,7 @@ array ( array ( 'author' => 'P. Hansen and B. Jaumard', 'journal' => 'Computing', - 'key' => 'hansen90 ', + 'key' => 'hansen90', 'pages' => '279-303', 'title' => 'Algorithms for the Maximum Satisfiability Problem', 'type' => 'Article', @@ -6056,8 +6066,8 @@ array ( 'key' => 'harvey98', 'optnote' => '1608', 'pages' => '235--249', - 'publisher' => ', Berlin', - 'series' => '~1520', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1520', 'title' => 'Constraint representation for propagation', 'type' => 'inproceedings', 'year' => '1998', @@ -6138,7 +6148,7 @@ array ( ) array ( 'author' => 'Gert Smolka', - 'howpublished' => 'dfkiort', + 'howpublished' => 'Project Proposal, German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'key' => 'hydra', 'month' => 'apr', 'title' => 'Hydra: Constraint-Based Computation and Deduction', @@ -6153,7 +6163,7 @@ array ( 'key' => 'idfs', 'month' => 'aug', 'pages' => '1382--1387', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Interleaved Depth First Search', 'type' => 'INPROCEEDINGS', 'year' => '1997', @@ -6189,7 +6199,7 @@ array ( 'author' => 'Dan Ingalls', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'key' => 'ingalls:78', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'The Smalltalk-76 Programming System Design and Implementation', 'type' => 'INPROCEEDINGS', 'year' => '1978', @@ -6231,7 +6241,7 @@ array ( 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'jampel:book', 'publisher' => 'Springer-Verlag', - 'series' => '~1106', + 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Over-Constrained Systems', 'type' => 'book', 'year' => '1996', @@ -6307,8 +6317,8 @@ array ( 'booktitle' => 'Foundations of Computer Science: Potential - Theory - Cognition', 'key' => 'kudlek', 'pages' => '209--218', - 'publisher' => ', Berlin', - 'series' => '~1337', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1337', 'title' => 'Calendars and Chronology', 'type' => 'Proceedings', 'year' => '1997', @@ -6334,7 +6344,7 @@ array ( 'key' => 'lds', 'month' => 'aug', 'pages' => '607--615', - 'publisher' => ', San Mateo, CA', + 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Limited Discrepancy Search', 'type' => 'INPROCEEDINGS', 'year' => '1995', @@ -6366,8 +6376,8 @@ array ( 'editor' => 'S.N. Meheshwari', 'key' => 'lncs206*347', 'pages' => '347--368', - 'publisher' => ', Berlin', - 'series' => '~206', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 206', 'title' => 'Partial Correctness Semantics for CP$[\\downarrow,|,&]$', 'type' => 'INPROCEEDINGS', 'year' => '1985', @@ -6379,8 +6389,8 @@ array ( 'editor' => 'Eiti Wada', 'key' => 'lncs221*168', 'pages' => '168--179', - 'publisher' => ', Berlin', - 'series' => '~221', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 221', 'title' => 'Guarded Horn Clauses', 'type' => 'INPROCEEDINGS', 'year' => '1985', @@ -6392,8 +6402,8 @@ array ( 'editor' => 'de Bakker, Jacobus and Nijman, A.J. and Treleaven, Philip', 'key' => 'lncs259*1', 'pages' => '1--29', - 'publisher' => ', Berlin', - 'series' => '~259', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science 259', 'title' => 'Executing a Program on the MIT Tagged-Token Dataflow Architecture', 'type' => 'INPROCEEDINGS', 'year' => '1987', @@ -6539,8 +6549,8 @@ array ( 'key' => 'meier:95', 'month' => 'sep', 'pages' => '328--344', - 'publisher' => ', Berlin', - 'series' => '~976', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  976', 'title' => 'Debugging Constraint Programs', 'type' => 'InProceedings', 'year' => '1995', @@ -6548,10 +6558,14 @@ array ( array ( 'author' => 'Francisco Menezes and Pedro Barahona', 'crossref' => 'jampel:book', + 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'menezes96', 'pages' => '151--187', + 'publisher' => 'Springer-Verlag', + 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Defeasible Constraint Solving', 'type' => 'InCollection', + 'year' => '1996', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', @@ -6559,10 +6573,10 @@ array ( 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'michel:97', - 'month' => '/nov', + 'month' => 'oct/nov', 'pages' => '237--251', - 'publisher' => ', Berlin', - 'series' => '~1330', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'LOCALIZER---A Modelling Language for Local Search', 'type' => 'InProceedings', 'year' => '1997', @@ -6817,12 +6831,21 @@ array ( 'author' => 'Jean-François Puget', 'booktitle' => 'Proceedings of the First Singapore International Conference on Intelligent Systems (SPICIS)', 'key' => 'pecos', - 'month' => '/oct', + 'month' => 'sep/oct', 'pages' => '137--142', 'title' => 'PECOS: A High Level Constraint Programming Language', 'type' => 'inproceedings', 'year' => '1992', ) +array ( + 'author' => 'Frank Pfenning', + 'journal' => 'Journal of Automated Reasoning', + 'key' => 'pfenning93proof', + 'title' => 'A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework', + 'type' => 'article', + 'url' => 'citeseer.nj.nec.com/pfenning92proof.html', + 'year' => '1993', +) array ( 'address' => 'Postfach 1150, D-66041 Saarbrücken, Germany', 'author' => 'Ralf Treinen', @@ -6852,7 +6875,7 @@ array ( 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'pim88', 'pages' => '208--229', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Overview of the Parallel Inference Machine Architecture (PIM)', 'type' => 'InProceedings', 'year' => '1988', @@ -6872,7 +6895,7 @@ array ( 'booktitle' => 'Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation', 'key' => 'pldi94*326', 'pages' => '326--336', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback', 'type' => 'INPROCEEDINGS', 'year' => '1994', @@ -6893,7 +6916,7 @@ array ( 'editor' => 'Alan Demers', 'key' => 'popl83*285', 'pages' => '285--298', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Abstraction mechanisms in the Beta programming language', 'type' => 'INPROCEEDINGS', 'year' => '1983', @@ -6914,7 +6937,7 @@ array ( 'key' => 'popl95*311', 'location' => 'MPI-ZB', 'pages' => '311--321', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages', 'type' => 'INPROCEEDINGS', 'year' => '1995', @@ -6935,7 +6958,7 @@ array ( 'editor' => 'Marina Chen', 'key' => 'ppopp93*218', 'pages' => '218--228', - 'publisher' => ', New York', + 'publisher' => 'The ACM Press, New York', 'title' => 'An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers', 'type' => 'INPROCEEDINGS', 'year' => '1993', @@ -6994,7 +7017,7 @@ array ( 'editor' => 'De Schreye, Danny', 'key' => 'robin', 'pages' => '545--557', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Constraint-based Round Robin Tournament Planning', 'type' => 'InProceedings', 'year' => '1999', @@ -7022,7 +7045,7 @@ array ( 'editor' => 'Michael Maher and Jean-François Puget', 'key' => 'salsa_cp98', 'pages' => '310--324', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'SALSA: A Language for Search Algorithms', 'type' => 'inproceedings', 'year' => '1998', @@ -7106,7 +7129,7 @@ array ( 'directory' => 'ProgrammingSysLab', 'filename' => 'scheduler96.ps.Z', 'key' => 'scheduler96', - 'month' => '16--19', + 'month' => 'nov 16--19', 'pages' => '132--139', 'publisher' => 'IEEE Computer Society Press', 'title' => 'Oz Scheduler: A Workbench for Scheduling Problems', @@ -7119,8 +7142,8 @@ array ( 'editor' => 'Jean-Pierre Briot and Jean-Marc Geib and Akinori Yonezawa', 'key' => 'schematic', 'pages' => '59--82', - 'publisher' => ', Berlin', - 'series' => '~1107', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1107', 'title' => 'Schematic: a concurrent object-oriented extension to Scheme', 'type' => 'InProceedings', 'year' => '1996', @@ -7141,8 +7164,8 @@ array ( 'booktitle' => 'Foundations of Computer Science: Potential - Theory - Cognition', 'key' => 'schmidhuber', 'pages' => '201--208', - 'publisher' => ', Berlin', - 'series' => '~1337', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1337', 'title' => 'A Computer Scientist\'s View of Life, the Universe, and Everything', 'type' => 'Proceedings', 'year' => '1997', @@ -7173,7 +7196,7 @@ array ( 'key' => 'schulte99', 'month' => 'aug', 'pages' => '275--289', - 'publisher' => ', Cambridge, MA', + 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Comparing Trailing and Copying for Constraint Programming', 'type' => 'INPROCEEDINGS', 'year' => '1999', @@ -7253,8 +7276,8 @@ array ( 'key' => 'shaw98', 'optnote' => '1608', 'pages' => '417--431', - 'publisher' => ', Berlin', - 'series' => '~1520', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1520', 'title' => 'Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems', 'type' => 'inproceedings', 'year' => '1998', @@ -7270,11 +7293,11 @@ array ( 'year' => '2000', ) array ( - 'author' => 'Mary Sheeran and Gunnar St\\.almarck', + 'author' => 'Mary Sheeran and Gunnar Stålmarck', 'booktitle' => 'Formal Methods for CAD: Enabling technologies and system-level applications, Formal Methods in System Design', 'editor' => 'G. Gopalakrishnan', 'key' => 'sheeran2000e', - 'title' => 'A tutorial on St\\.almarck\'s proof procedure for propositional logic', + 'title' => 'A tutorial on Stålmarck\'s proof procedure for propositional logic', 'type' => 'inproceedings', 'year' => '2000', ) @@ -7330,8 +7353,8 @@ array ( 'editor' => 'Enrico Pontelli and V\\\'\\itor Santos Costa', 'key' => 'stk', 'pages' => '185--199', - 'publisher' => ', Berlin', - 'series' => '~1753', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1753', 'title' => 'A Toolkit for Constraint-based Inference Engines', 'type' => 'InProceedings', 'year' => '2000', @@ -7480,8 +7503,8 @@ array ( 'editor' => 'E. Burke and M. Carter', 'key' => 'vanWeert1998', 'optnote' => '1608', - 'publisher' => ', Berlin', - 'series' => '~1408', + 'publisher' => 'Springer-Verlag, Berlin', + 'series' => 'Lecture Notes in Computer Science  1408', 'title' => 'Construction of Basic Match Schedules for Sports Competitions by Using Graph Theory', 'type' => 'inproceedings', 'year' => '1998', @@ -7510,7 +7533,7 @@ array ( 'author' => 'J. Paul Walser', 'key' => 'walser:book', 'publisher' => 'Springer-Verlag', - 'series' => '~1637', + 'series' => 'Lecture Notes in Artificial Intelligence  1637', 'title' => 'Integer Optimization by Local Search, A Domain-Independent Approach', 'type' => 'book', 'year' => '1999', @@ -7576,10 +7599,14 @@ array ( array ( 'author' => 'Armin Wolf', 'crossref' => 'jampel:book', + 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'wolf96', 'pages' => '171--187', + 'publisher' => 'Springer-Verlag', + 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems', 'type' => 'InCollection', + 'year' => '1996', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', @@ -7664,7 +7691,7 @@ array ( 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'yoshida:88', 'pages' => '638--649', - 'publisher' => ', Berlin', + 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'A\'UM---A Stream-Based Concurrent Object-Oriented Language', 'type' => 'InProceedings', 'year' => '1988', diff --git a/test/bibacid-iso8859.bib.txt b/test/bibacid-iso8859.bib.txt index ef70503..81e63a5 100644 --- a/test/bibacid-iso8859.bib.txt +++ b/test/bibacid-iso8859.bib.txt @@ -45,11 +45,15 @@ array ( ) array ( 'author' => 'First Author and Second Author', + 'booktitle' => 'Proceedings of the Xth Conference on XYZ', 'crossref' => 'conference:06', + 'editor' => 'First Editor and Second Editor', 'key' => 'author:06', + 'month' => 'oct', 'pages' => '330?331', 'title' => 'Some publication title', 'type' => 'INPROCEEDINGS', + 'year' => '2006', ) array ( 'author' => 'Serge Bug', @@ -126,7 +130,7 @@ array ( 'author' => 'J. Abounader and D. Lamb', 'institution' => 'Queen\'s University, Kingston, ON.', 'key' => 'stgringconcat:test2', - 'title' => 'str1 str2', + 'title' => 'tototiti', 'type' => 'article', 'year' => '1997', ) @@ -134,7 +138,7 @@ array ( 'author' => 'J. Abounader and D. Lamb', 'institution' => 'Queen\'s University, Kingston, ON.', 'key' => 'stgringconcat:test3', - 'title' => '3344', + 'title' => 'toto 3344', 'type' => 'article', 'year' => '1997', )