@article{Huang-Hsu-Lee/95, AUTHOR = {Huang, Chung-Ming and Hsu, Jenq-Muh and Lee, Shiun-Wei}, TITLE = {ECFSM-based probabilistic protocol verification}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {1-9}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kloks-Kratsch/95, AUTHOR = {Kloks, T. and Kratsch, D.}, TITLE = {Computing a perfect edge without vertex elimination ordering of a chordal biparite graph}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {11-16}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hong-Leung/95, AUTHOR = {Hong, Dawei and Leung, Joseph Y-T.}, TITLE = {Probabilistic analysis of $k$-dimensional packing algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {17-24}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Barsi-Perotti/95, AUTHOR = {Barsi, Ferrucio and Perotti, M. Cristina}, TITLE = {Addendum to "A fully parallel algorithm for residue to binary conversion"}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {25-26}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Mahajan-Vinodchandran/95, AUTHOR = {Mahajan, Meena and Vinodchandran, N.V.}, TITLE = {A note on $Mod$ and generalised $Mod$ classes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {27-31}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vogler/95, AUTHOR = {Vogler, Walter}, TITLE = {Fairness and partial order semantics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {33-39}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Datta-Sen/95, AUTHOR = {Datta, Alak K. and Sen, Ranjan K.}, TITLE = {1-Approximation algorithm for bottleneck disjoint path matching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {41-44}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lin-Harn/95, AUTHOR = {Lin, Hung-Yu and Harn, Lein}, TITLE = {Fair reconstruction of a secret}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {45-47}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chedid/95, AUTHOR = {Chedid, Fouad B.}, TITLE = {On the generalized twisted cube}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {49-52}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cull-Larson/95, AUTHOR = {Cull, Paul and Larson, Shawn M.}, TITLE = {On generalized twisted cubes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {53-55}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Butler/95, AUTHOR = {Butler, Greg}, TITLE = {Easy verification of behavioural subtyping in common cases}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {57-58}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Westbrook-Yan/95, AUTHOR = {Westbrook, Jeffery and Yan, Dicky}, TITLE = {Linear bounds for on-line Steiner problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {59-63}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hill/95, AUTHOR = {Hill, Steve}, TITLE = {The lazy z-buffer}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {65-70}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Swaminathan-Giriraj-Bhatia/95, AUTHOR = {Swaminathan, R.P. and Giriraj, D. and Bhatia, D.K.}, TITLE = {The pagenumber of the class of bandwidth-$k$ graphs is $k-1$}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {71-74}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Alsuwaiyel-Lee/95, AUTHOR = {Alsuwaiyel, Muhammad H. and Lee, D.T.}, TITLE = {Finding an approximate minimum-link visibility path inside a simple polygon}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {75-79}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wang/95a, AUTHOR = {Wang, Jie}, TITLE = {Some results on selectivity and self-reducibility}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {81-87}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Valois/95, AUTHOR = {Valois, John D.}, TITLE = {A 3-valued wakeup protocol}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {89-93}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Saab/95, AUTHOR = {Saab, Youssef}, TITLE = {Iterative improvement of vertex covers}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {95-98}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Corneil-Kim-Natarajan-Olariu-Sprague/95, AUTHOR = {Corneil, Derek G. and Kim, Hiryoung and Natarajan, Sridhar and Olariu, Stephan and Sprague, Alan P.}, TITLE = {Simple linear time recognition of unit interval graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {99-104}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dermouche/95, AUTHOR = {Dermouche, A.}, TITLE = {A fast algorithm for string matching with mismatches}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {105-110}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Huynh-Marriott/95, AUTHOR = {Huynh, Tien and Marriott, Kim}, TITLE = {Incremental constraint deletion in systems of linear constraints}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {111-115}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Singhal-Mattern/95, AUTHOR = {Singhal, Mukesh and Mattern, Friedemann}, TITLE = {An optimality proof for asynchronous recovery algorithms in distributed systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {117-121}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Jha-Slutzki/95, AUTHOR = {Jha, Pranava K. and Slutzki, Giora}, TITLE = {A scheme to construct distance-three codes using latin squares, with applications to the $n$-cube}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {123-127}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Berard/95, AUTHOR = {Berard, B{\'{e}}atrice}, TITLE = {Untiming timed languages}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {129-135}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Shi-Ritter-Wilson/95, AUTHOR = {Shi, Hongchi and Ritter, Gerhard X. and Wilson, Joseph N.}, TITLE = {Simulations between two reconfigurable mesh models}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {137-142}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Nikolik/95, AUTHOR = {Nikolik, Borislav}, TITLE = {Constraint preservation through loops}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {143-148}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Oellermann-Spinrad/95, AUTHOR = {Oellermann, Ortrud and Spinrad, Jeremy P.}, TITLE = {A polynomial algorithm for testing whether a graph is 3-Steiner distance hereditary}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {149-154}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chang-Yap/95, AUTHOR = {Chang, Ee-Chien and Yap, Chee}, TITLE = {A note on improved deterministic time simulation of nondeterministic space for small space}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {155-157}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kavraki-Kolountzakis/95, AUTHOR = {Kavraki, Lydia E. and Kolountzakis, Mihail N.}, TITLE = {Partitioning a planar assembly into two connected parts is $NP$-complete}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {159-165}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gong/95, AUTHOR = {Gong, Li}, TITLE = {Collisionful keyed hash functions with selectable collisions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {167-170}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hower/95, AUTHOR = {Hower, Walter}, TITLE = {Constraint satisfaction --- Algorithms and complexity analysis}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {171-178}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Schuler/95, AUTHOR = {Schuler, Rainer}, TITLE = {Some properties of sets tractable under every polynomial-time computable distribution}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {179-184}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lam/95, AUTHOR = {Lam, Nguyen Huong}, TITLE = {A note on codes having no finite completions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {185-188}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Blundo/95, AUTHOR = {Blundo, Carlo}, TITLE = {A note on dynamic threshold schemes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {189-193}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Keller-Walle/95, AUTHOR = {Keller, J{\"o}rg and Walle, Thomas}, TITLE = {A note on implementing combining networks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {195-200}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Atkinson-Scholefield/95, AUTHOR = {Atkinson, Simon and Scholefield, David}, TITLE = {Transformational vs reactive refinement in real-time systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {201-210}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Thirusangu-Rangarajan/95, AUTHOR = {Thirusangu, K. and Rangarajan, K.}, TITLE = {A note on the construction of marked graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {211-215}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Droubay/95, AUTHOR = {Droubay, Xavier}, TITLE = {Palindromes in the Fibonacci word}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {217-221}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tan-Song/95, AUTHOR = {Tan, Xuehou and Song, Xiaoyu}, TITLE = {Hexagonal three-layer channel routing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {223-228}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Park-Goldberg/95, AUTHOR = {Park, Young and Goldberg, Benjamin}, TITLE = {Static analysis for optimizing reference counting}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {229-234}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Akutsu/95, AUTHOR = {Akutsu, Tatsuya}, TITLE = {Approximate string matching with don't care characters}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {235-239}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ramachandran/95, AUTHOR = {Ramachandran, J.}, TITLE = {Modulo classes and logarithmic advice}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {241-245}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Horng/95, AUTHOR = {Horng, Gwoboa}, TITLE = {Password authentication without using a password table}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {247-250}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tan-Lu/95, AUTHOR = {Tan, Kian-Lee and Lu, Hongjun}, TITLE = {Workload scheduling for multiple query processing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {251-257}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/95, AUTHOR = {Chen, Lin}, TITLE = {Solving the shortest-paths problem on bipartite permutation graphs efficiently}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {259-264}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lee-Kim/95, AUTHOR = {Lee, Soojung and Kim, Junguk L.}, TITLE = {Resolving all deadlocks in distributed systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {265-271}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/95a, AUTHOR = {Chen, Tung-Shou}, TITLE = {SIMPLE: An optimal disk system with two restricted heads}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {273-277}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Leung-Ranjan-Hernandez-Tang-Gonzalez/95, AUTHOR = {Leung, H. and Ranjan, D. and Hern{\'{a}}ndez, H.J. and Tang, D. and Gonz{\'{a}}lez, A.}, TITLE = {A simple proof on the dicidability of equivalence between recursive and nonrecursive Datalog programs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {279-282}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Park-Choi-Kim/95, AUTHOR = {Park, Ung Kyu and Choi, Hwang Kyu and Kim, Tag Gon}, TITLE = {Uniform partitioning of relations using histogram equalization framework: An efficient parallel hash-based join}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {283-289}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Boztas/95, AUTHOR = {Bozta{\c{s}}, Serdar}, TITLE = {A robust multi-priority topology-independent transmission schedule for packet radio networks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {297-301}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/95b, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {A fast and efficient NC algorithm for maximal matching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {303-307}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Nievergelt-Deo/95, AUTHOR = {Nievergelt, J. and Deo, Narsingh}, TITLE = {Metric graphs elastically embeddable in the plane}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {309-315}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dasgupta-Chakrabarti-DeSarkar/95, AUTHOR = {Dasgupta, Pallab and Chakrabarti, P.P. and DeSarkar, S.C.}, TITLE = {Utility of pathmax in partial order heuristic search}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {317-322}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vasconcelos/95, AUTHOR = {Vasconcelos, Vasco Thudichum}, TITLE = {Unification of kinded infinite trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {323-328}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Broder-Frieze-Lund-Phillips-Reingold/95, AUTHOR = {Broder, Andrei Z. and Frieze, Alan and Lund, Carsten and Phillips, Steven and Reingold, Nick}, TITLE = {Balanced allocations for tree-like inputs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {329-332}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Liang/95, AUTHOR = {Liang, Weifa}, TITLE = {Fast parallel algorithms for the approximate edge-coloring problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {333-338}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Nayak-Accia-Gissi/95, AUTHOR = {Nayak, Amiya and Accia, Vincenzo and Gissi, Paolo}, TITLE = {A note on isomorphic chordal rings}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {339-341}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Park-Goldberg/95a, AUTHOR = {Park, Young G. and Goldberg, Benjamin}, TITLE = {Order-of-demand analysis for lazy languages}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {343-348}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pitsch/95, AUTHOR = {Pitsch, Gisela}, TITLE = {LR$(k)$-coupled-context-free grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {55}, PAGES = {349-358}, YEAR = {1995}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, }