@article{Puente-Hermo/11, AUTHOR = {Puente, V{\'{i}}ctor Lav{\'{i}}n and Hermo, Montserrat}, TITLE = {Negative results on learning multivalued dependencies with queries}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {111}, NUMBER = {19}, PAGES = {968-972}, YEAR = {2011}, EDITOR = {Tarlecki, A.}, KEYWORDS = {query learning, databases, propositional formulas, multivalued dependencies}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019011001992}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Chung/92c, AUTHOR = {Chung, Soon M.}, TITLE = {Indexed extendible hashing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {1-6}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Masuyama-Naito/92, AUTHOR = {Masuyama, Shigeru and Naito, Shozo}, TITLE = {Deciding whether graph $G$ has page number one is in NC}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {7-10}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Paschos/92, AUTHOR = {Paschos, V.Th.}, TITLE = {A $(\Delta/2)$-approximation algorithm for the maximum independent set problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {11-13}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Yu-Yang/92, AUTHOR = {Yu, Ming-Shing and Yang, Cheng-Hsing}, TITLE = {An optimal parallel algorithm for the domatic partition problem on an interval graph given its sorted model}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {15-22}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hammer-Kogan/92, AUTHOR = {Hammer, Peter L. and Kogan, Alexander}, TITLE = {Horn functions and their DNFs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {23-29}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hwang/92b, AUTHOR = {Hwang, Tzonelih}, TITLE = {Efficient ID-based key distribution with tamperfree device}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {31-34}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kapur-Bilardi/92a, AUTHOR = {Kapur, Shyam and Bilardi, Gianfranco}, TITLE = {On uniform learnability of language families}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {35-38}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Garg/92, AUTHOR = {Garg, Vijay K.}, TITLE = {Some optimal algorithms for decomposed partially ordered sets}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {39-43}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Veeraraghavulu-Kumar-Madhavan/92, AUTHOR = {Veeraraghavulu, N.Ch. and Kumar, P. Sreenivasa and Madhavan, C.E. Veni}, TITLE = {A linear-time algorithm for isomorphism of a subclass of chordal graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {45-49}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sharary-Zaguia/92, AUTHOR = {Sharary, Ahmad and Zaguia, Nejib}, TITLE = {On a setup optimization problem for interval orders}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {51-55}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bousquet-Melou/92, AUTHOR = {Bousquet-M{\'e}lou, Mireille}, TITLE = {The number of minimal words chains computing the Thue-Morse word}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {57-64}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gastin-Ochmanski-Petit-Rozoy/92, AUTHOR = {Gastin, Paul and Ochmanski, Edward and Petit, Antoine and Rozoy, Brigitte}, TITLE = {Decidability of the star problem in $A^* \times b^*$}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {65-71}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{de_Iaco-Luccio/92, AUTHOR = {de Iaco, Bettina and Luccio, Fabrizio}, TITLE = {Finding all the palindromes in a binary tree in linear time and space}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {73-77}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kao-Wan/92, AUTHOR = {Kao, Ming-Yang and Wan, Fang}, TITLE = {Not all planar digraphs have small cycle separators}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {79-83}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Morii-Kasahara/92, AUTHOR = {Morii, Masakatu and Kasahara, Masao}, TITLE = {Perfect staircase profile of linear complexity for finite sequences}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {85-89}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen-Hou/92, AUTHOR = {Chen, Rong-Jaye and Hou, Yu-Song}, TITLE = {Non-associative parallel prefix computation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {91-94}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Mukhopadhyaya-Sinha/92, AUTHOR = {Mukhopadhyaya, Krishnendu and Sinha, Bhabani P.}, TITLE = {Hamiltonian graphs with minimum number of edges for fault-tolerant topologies}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {95-99}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Teo-Tuan/92, AUTHOR = {Teo, Kim-Heng and Tuan, Tai-Ching}, TITLE = {An efficient one-side height minimization algorithm for routing around a rectangle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {101-105}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chien-Yang/92, AUTHOR = {Chien, Been-Chian and Yang, Wei-Pang}, TITLE = {The worst case analysis of algorithm on multiple stacks manipulation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {107-111}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cadoli/92, AUTHOR = {Cadoli, Marco}, TITLE = {The complexity of model checking for circumscriptive formulae}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {113-118}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bovet-Varricchio/92, AUTHOR = {Bovet, Daniel P. and Varricchio, Stefano}, TITLE = {On the regularity of languages on a binary alphabet generated by copying systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {119-123}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Makinen/92a, AUTHOR = {M{\"a}kinen, Erkki}, TITLE = {Remarks on the structural grammatical inference problem for context-free grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {125-127}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lobo-Subrahmanian/92, AUTHOR = {Lobo, Jorge and Subrahmanian, V.S.}, TITLE = {Relating minimal models and pre-requisite-free normal defaults}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {129-133}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lu-Henschen/92, AUTHOR = {Lu, James J. and Henschen, Lawrence J.}, TITLE = {The completeness of gp-resolution for annotated logics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {135-140}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Han-Narahari-Choi/92, AUTHOR = {Han, Y. and Narahari, B. and Choi, H.-A.}, TITLE = {Mapping a chain task to chained processors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {141-148}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pan-Sadikou-Landowne/92, AUTHOR = {Pan, Victor and Sadikou, Akimou and Landowne, Elliott}, TITLE = {Polynomial division with a remainder by means of evaluation and interpolation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {149-153}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ghosh-Maheshwari/92, AUTHOR = {Ghosh, Subir Kumar and Maheshwari, Anil}, TITLE = {An optimal parallel algorithm for computing furthest neighbors in a tree}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {155-160}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Woeginger/92, AUTHOR = {Woeginger, Gerhard J.}, TITLE = {The complexity of finding arborescences in hypergraphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {161-164}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bainbridge/92, AUTHOR = {Bainbridge, John}, TITLE = {A heuristic method for generating large random expressions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, PAGES = {165-170}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dalal-Etherington/92, AUTHOR = {Dalal, Mukesh and Etherington, David W.}, TITLE = {A hierarchy of tractable satisfiability problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {173-180}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zhang/92g, AUTHOR = {Zhang, Louxin}, TITLE = {The pre-NTS property is undecidable for context-free grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {181-184}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wang-Yuan/92, AUTHOR = {Wang, Ke and Yuan, Li Yan}, TITLE = {Preservation of integrity constraints in definite DATALOG programs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {185-193}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Jiang-Li-Du/92, AUTHOR = {Jiang, Tao and Li, Ming and Du, Ding-zhu}, TITLE = {A note on shortest superstrings with flipping}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {195-199}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chang-Chung/92, AUTHOR = {Chang, Hsun-Wen and Chung, Kuo-Liang}, TITLE = {Fault-tolerant routing in unique-path multistage Omega network}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {201-204}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gupta/92c, AUTHOR = {Gupta, Sanjay}, TITLE = {On the closure of certain function classes under integer division by polynomially-bounded functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {205-210}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tamura-Tamura/92, AUTHOR = {Tamura, Akihisa and Tamura, Yoshiko}, TITLE = {Degree constrained tree embedding into points in the plane}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {211-214}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lins/92, AUTHOR = {Lins, Rafael D.}, TITLE = {Cyclic reference counting with lazy mark-scan}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {215-220}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Martello-Toth/92, AUTHOR = {Martello, Silvano and Toth, Paolo}, TITLE = {A note on 0.5-bounded greedy algorithms for the 0/1 knapsack problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {221-222}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Shvartsman/92, AUTHOR = {Shvartsman, Alex A.}, TITLE = {An efficient Write-All algorithm for fail-stop PRAM without initialized memory}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {4}, PAGES = {223-231}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Amir-Farach/92, AUTHOR = {Amir, Amihood and Farach, Martin}, TITLE = {Two-dimensional dictionary matching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {233-239}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wu-Chen/92, AUTHOR = {Wu, Jer-Shyan and Chen, Rong-Jaye}, TITLE = {The towers of Hanoi problem with parallel moves}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {241-243}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lin-Vitter/92a, AUTHOR = {Lin, Jyh-Han and Vitter, Jeffrey Scott}, TITLE = {Approximation algorithms for geometric median problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {245-249}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bar-Noy-Motwani-Naor/92, AUTHOR = {Bar-Noy, Amotz and Motwani, Rajeev and Naor, Joseph}, TITLE = {The greedy algorithm is optimal for on-line edge coloring}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {251-253}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{dAmore-Franciosa/92, AUTHOR = {d'Amore, Fabrizio and Franciosa, Paolo Giulio}, TITLE = {On the optimal binary plane partition for sets of isothetic rectangles}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {255-259}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Overmars/92, AUTHOR = {Overmars, Mark H.}, TITLE = {Point location in fat subdivisions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {261-265}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rossmanith-Rytter/92, AUTHOR = {Rossmanith, Peter and Rytter, Wojciech}, TITLE = {Oberservations on $\log(n)$ time parallel recognition of unambigous cfl's}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {267-272}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gupta/92a, AUTHOR = {Gupta, Gopal}, TITLE = {Dynamic parallel evaluation of the cross-product set using time-stamps}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {273-280}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Greenberg-Jaja-Krishnamurthy/92, AUTHOR = {Greenberg, Ronald and J{\'a}j{\'a}, J. and Krishnamurthy, Sridhar}, TITLE = {On the difficulty of Manhattan channel routing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {281-284}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dekel-Hu-Ouyang/92a, AUTHOR = {Dekel, Eliezer and Hu, Jie and Ouyang, Wen}, TITLE = {An optimal algorithm for finding compact sets}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {5}, PAGES = {285-289}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Engelfriet/92a, AUTHOR = {Engelfriet, Joost}, TITLE = {An elementary proof of Double Greibach Normal Form}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {291-293}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Feige/92, AUTHOR = {Feige, Uriel}, TITLE = {On the complexity of finite random functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {295-296}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vishwanathan/92, AUTHOR = {Vishwanathan, Sundar}, TITLE = {An approximation algorithm for the asymmetric travelling salesman problem with distances one and two}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {297-302}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Fortnow-Szegedy/92, AUTHOR = {Fortnow, Lance and Szegedy, Mario}, TITLE = {On the power of two-local random reductions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {303-306}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cohen-Scott/92, AUTHOR = {Cohen, D.A. and Scott, E.A.}, TITLE = {Rationality of division orderings}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {307-311}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pascoletti/92, AUTHOR = {Pascoletti, Adriano}, TITLE = {An optimal algorithm for the period of a strongly connected digraph}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {313-316}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Acharya-Badrinath/92, AUTHOR = {Acharya, Arup and Badrinath, B.R.}, TITLE = {Recording distributed snapshots based on causal order of message delivery}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {317-321}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Simonson-Sudborough/92, AUTHOR = {Simonson, Shai and Sudborough, I. Hal}, TITLE = {On the complexity of tree embedding problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {323-328}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Leung/92a, AUTHOR = {Leung, Hing}, TITLE = {A note on finitely ambiguous distance automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {329-331}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Luo-vBochmann-Das-Wu/92, AUTHOR = {Luo, Gang and v.~Bochmann, Gregor and Das, Anindya and Wu, Cheng}, TITLE = {Failure-equivalent transformation of transition systems to avoid internal actions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {333-343}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Breslauer/92, AUTHOR = {Breslauer, Dany}, TITLE = {An on-line string superprimitivity test}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {44}, NUMBER = {6}, PAGES = {345-347}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Saluja/92, AUTHOR = {Saluja, Sanjeev}, TITLE = {A note on the permanent value problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {1-5}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bern-Gilbert/92, AUTHOR = {Bern, Marshall and Gilbert, John R.}, TITLE = {Drawing the planar dual}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {7-13}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bachmair/92, AUTHOR = {Bachmair, Leo}, TITLE = {Associative-commutative reduction orderings}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {21-27}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Schirra/92, AUTHOR = {Schirra, Stefan}, TITLE = {Approximate decision algorithms for approximate congruence}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {29-34}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kern/92, AUTHOR = {Kern, W.}, TITLE = {Learing convex bodies under uniform distribution}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {35-39}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tsai/92a, AUTHOR = {Tsai, Li-Hui}, TITLE = {An algorithm for flow time minimization and its asymptotic makespan properties}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {41-46}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Singhal-Kshemkalyani/92, AUTHOR = {Singhal, Mukesh and Kshemkalyani, Ajay}, TITLE = {An efficient implementation of vector clocks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {47-52}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Koutsoupias-Papadimitriou/92, AUTHOR = {Koutsoupias, Elias and Papadimitriou, Christos H.}, TITLE = {On the greedy algorithm for satisfiability}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {53-55}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Martelli-Tricomi/92, AUTHOR = {Martelli, Maurizio and Tricomi, Chiara}, TITLE = {A new SLDNF-tree}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {57-62}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chee-Lim/92, AUTHOR = {Chee, Yeow Meng and Lim, Andrew}, TITLE = {The algorithmic complexity of colour switching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {63-68}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hsu-Lee-Chang/92, AUTHOR = {Hsu, F.R. and Lee, R.C.T. and Chang, R.C.}, TITLE = {Special subgraphs of weighted visibility graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {69-75}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hsu-Huang/92, AUTHOR = {Hsu, Su-Chu and Huang, Shing-Tsaan}, TITLE = {A self-stabilizing algorithm for maximal matching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {77-81}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hwang/92a, AUTHOR = {Hwang, Tzonelih}, TITLE = {Attacks on Okamoto and Tanaka's one-way ID-based key distribution system}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {83-86}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sen-Deng-Guha/92, AUTHOR = {Sen, Arunabha and Deng, Haiyong and Guha, Sumanta}, TITLE = {On a graph partition problem with application to VLSI layout}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {87-94}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Majster-Cederbaum/92, AUTHOR = {Majster-Cederbaum, Mila E.}, TITLE = {Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in $O(N^2)$ time}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {95-100}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cheung-Lau/92, AUTHOR = {Cheung, Steven and Lau, Francis C.M.}, TITLE = {Mesh permutation routing with locality}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {101-105}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Li-Vitanyi/92a, AUTHOR = {Li, Ming and Vit{\'a}nyi, Paul M.B.}, TITLE = {Optimality of wait-free atomic multiwriter variables}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {107-112}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{de_Moor/92, AUTHOR = {de Moor, Oege}, TITLE = {Inductive data types for predicate transformers}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {113-117}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Saluja-Subrahmanyam/92, AUTHOR = {Saluja, Sanjeev and Subrahmanyam, K.V.}, TITLE = {On the power of enumerative counting}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {119-125}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Woeginger/92a, AUTHOR = {Woeginger, Gerhard J.}, TITLE = {Finding the closest extreme vertex to a fixed point}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {127-128}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Liu-Kim/92, AUTHOR = {Liu, Xiaoqing and Kim, Junguk L.}, TITLE = {An efficient parallel sorting algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {129-133}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Henzinger/92, AUTHOR = {Henzinger, Thomas A.}, TITLE = {Sooner is safer than later}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {135-141}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Galiev-Polupanov-Shparlinski/92, AUTHOR = {Galiev, V.I. and Polupanov, A.F. and Shparlinski, I.E.}, TITLE = {Distances from differences of roots of polynomials to the nearest integers}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {143-146}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Penczek/92, AUTHOR = {Penczek, Wojciech}, TITLE = {On undecidability of propositional temporal logics on trace systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {147-153}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Boreale-Inverardi-Nesi/92, AUTHOR = {Boreale, M. and Inverardi, P. and Nesi, M.}, TITLE = {Complete sets of axioms for finite basic LOTOS behavioural equivalences}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {155-160}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dimitrov-Cooklev-Donevsky/92, AUTHOR = {Dimitrov, V.S. and Cooklev, T.V. and Donevsky, B.D.}, TITLE = {On the multiplication of reduced biquaternions and applications}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {161-164}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gemmell-Sudan/92, AUTHOR = {Gemmell, Peter and Sudan, Madhu}, TITLE = {Highly resilient correctors for polynomials}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {169-174}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Palsberg-Schwartzbach/92, AUTHOR = {Palsberg, Jens and Schwartzbach, Michael I.}, TITLE = {Safety analysis versus type inference for partial types}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {175-180}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kolountzakis-Kutulakos/92, AUTHOR = {Kolountzakis, Mihail N. and Kutulakos, Kiriakos N.}, TITLE = {Fast computation of the Euclidian distance maps for binary images}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {181-184}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Birget/92a, AUTHOR = {Birget, Jean-Camille}, TITLE = {Intersection and union of regular languages and state complexity}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {185-190}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/92c, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {191-193}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Takaoka/92a, AUTHOR = {Takaoka, Tadao}, TITLE = {A new upper bound on the complexity of the all pairs shortest path problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {195-199}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Greenberg-Maley/92, AUTHOR = {Greenberg, Ronald I. and Maley, F. Miller}, TITLE = {Minimum separation for single-layer channel routing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {201-205}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Allison/92, AUTHOR = {Allison, L.}, TITLE = {Lazy dynamic-programming can be eager}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {207-212}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bagchi/92, AUTHOR = {Bagchi, A.}, TITLE = {On sorting in the presence of erroneous information}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {213-215}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Huttenlocher-Kedem-Kleinberg/92, AUTHOR = {Huttenlocher, Daniel P. and Kedem, Klara and Kleinberg, Jon M.}, TITLE = {Voronoi diagrams of rigidly moving sets of points}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {217-223}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Inoue-Ito-Takanami/92, AUTHOR = {Inoue, Katsushi and Ito, Akira and Takanami, Itsuo}, TITLE = {A relationship between nondeterministic Turing machines and 1-inkdot Turing machines with small space}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {225-227}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hsiao-Tang-Chang/92, AUTHOR = {Hsiao, Ju Yuan and Tang, Chuan Yi and Chang, Ruay Shiung}, TITLE = {An efficient algorithm for finding a maximum weight 2-independent set on interval graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {229-235}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Schwabe/92, AUTHOR = {Schwabe, Eric J.}, TITLE = {Embedding meshes of trees into deBruijn graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {237-240}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dawes/92, AUTHOR = {Dawes, Robin W.}, TITLE = {Some pursuit-evasion problems on grids}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {241-247}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Satyanarayanan-Muthukrishnan/92, AUTHOR = {Satyanarayanan, R. and Muthukrishnan, D.R.}, TITLE = {A note on Raymond's tree based algorithm for distributed mutual exclusion}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {249-255}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Czech-Havas-Majewski/92, AUTHOR = {Czech, Zbigniew J. and Havas, George and Majewski, Bohdan S.}, TITLE = {An optimal algorithm for generating minimal perfect hash functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {257-264}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pombortsis/92, AUTHOR = {Pombortsis, A.S.}, TITLE = {Analysis of hierarchical bus-based multicomputer architectures}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {265-270}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ressler/92, AUTHOR = {Ressler, Eugene K.}, TITLE = {Random list permutations in place}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {271-275}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{van_Vliet/92, AUTHOR = {van Vliet, Andr{\'e}}, TITLE = {An improved lower bound for on-line bin packing algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {277-284}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Jerebic-Trobec/92, AUTHOR = {Jerebic, Izidor and Trobec, Roman}, TITLE = {Optimal routing in toroidal networks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {285-291}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chang-Wang/92, AUTHOR = {Chang, Maw-Shang and Wang, Fu-Hsing}, TITLE = {Efficient algorithms for the maximum weight clique and maximum weight independent set problems on permutation graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {293-295}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Peng-Chang/92, AUTHOR = {Peng, Shen-Lung and Chang, Maw-Shang}, TITLE = {A simple linear time algorithm for the domatic partition problem on strongly chordal graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {297-300}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Scholefield-Zedan/92, AUTHOR = {Scholefield, D. and Zedan, H.S.M.}, TITLE = {Weakest precondition semantics for time and concurrency}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {301-308}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Albacea/92, AUTHOR = {Albacea, Eliezer A.}, TITLE = {A parallel algorithm for edge-coloring of graphs with edge-disjoint cycles}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {309-314}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kim-Kim/92, AUTHOR = {Kim, Cheeha and Kim, Jong-Sung}, TITLE = {A mean value analysis of the Ethernet throughput}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {315-320}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wang/92c, AUTHOR = {Wang, Jie}, TITLE = {A note on two-way probabilistic automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {321-326}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen-Yu-Yamaguchi-Kitagawa-Ohbo-Fujiwara/92, AUTHOR = {Chen, Hanxiong and Yu, Xu and Yamaguchi, Kazunori and Kitagawa, Hiroyuki and Ohbo, Nobuo and Fujiwara, Yuzuru}, TITLE = {Decomposition --- An approach for optimizing queries including ADT functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {327-333}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hagerup/92b, AUTHOR = {Hagerup, Torben}, TITLE = {On a compaction theorem of Ragde}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {43}, PAGES = {335-340}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Megiddo/92, AUTHOR = {Megiddo, Nimrod}, TITLE = {A note on approximate linear programming}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {53}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Makinen/92, AUTHOR = {M{\"a}kinen, Erkki}, TITLE = {On the structural grammatical inference problem for some classes of context-free grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {1-5}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Singh/92, AUTHOR = {Singh, Ambuj K.}, TITLE = {Towards an understanding of unbounded variables in asynchronous systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {7-17}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Clark-Shahrokhi-Szekely/92, AUTHOR = {Clark, L.H. and Shahrokhi, F. and Sz{\'e}kely, L.A.}, TITLE = {A linear time algorithm for graph partition problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {19-24}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Alt-Geffert-Mehlhorn/92, AUTHOR = {Alt, Helmut and Geffert, Viliam and Mehlhorn, Kurt}, TITLE = {A lower bound for the nondeterministic space complexity of context-free recognition}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {25-27}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Fleischner-Woeginger/92, AUTHOR = {Fleischner, Herbert and Woeginger, Gerhard J.}, TITLE = {Detecting cycles through three fixed vertices in a graph}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {29-33}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Meijer-Rappaport/92, AUTHOR = {Meijer, Henk and Rappaport, David}, TITLE = {Computing the minimum weight triangulation of a set of linearly ordered points}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {35-38}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sen-Sengupta-Bandyopadhyay/92, AUTHOR = {Sen, Arunabha and Sengupta, Abhijit and Bandyopadhyay, Subir}, TITLE = {On the routing problem in faulty supercubes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {39-46}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sarkar-Chakrabarti-Ghose-Sarkar/92, AUTHOR = {Sarkar, U.K. and Chakrabarti, P.P. and Ghose, S. and Sarkar, S.C. De}, TITLE = {Effective use of memory in iterative deepening search}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {47-52}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Aggarwal-Edelsbrunner-Raghavan-Tiwari/92, AUTHOR = {Aggarwal, Alok and Edelsbrunner, Herbert and Raghavan, Prabhakar and Tiwari, Prasoon}, TITLE = {Optimal time bounds for some proximity problems in the plane}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {55-60}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Han-Lin/92, AUTHOR = {Han, Ching-Chih and Lin, Kwei-Jay}, TITLE = {Scheduling real-time computations with separation constraints}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {61-66}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Trier/92, AUTHOR = {Trier, Uwe}, TITLE = {Additive weights of a special class of nonuniformly distributed backtrack trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {67-76}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rubinfeld/92, AUTHOR = {Rubinfeld, Ronitt}, TITLE = {Batch checking with applications to linear functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {77-80}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Burmester/92, AUTHOR = {Burmester, Mike}, TITLE = {An almost-constant round interactive zero-knowledge proof}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {81-87}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cho-Huynh/92, AUTHOR = {Cho, Sang and Huynh, Dung T.}, TITLE = {The parallel complexity of coarsest set partition problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {89-94}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Plateau-Trystam/92, AUTHOR = {Plateau, Brigitte and Trystam, Denis}, TITLE = {Optimal total exchange for a 3-D torus of processors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {95-102}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{van_de_Snepscheut/92, AUTHOR = {van de Snepscheut, Jan L.A.}, TITLE = {A LISP programming exercise}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {103-108}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chandru-Hooker/92, AUTHOR = {Chandru, V. and Hooker, J.N.}, TITLE = {Detecting embedded Horn structure in propositional logic}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {109-111}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kamakoti-Pandu_Rangan/92, AUTHOR = {Kamakoti, V. and Pandu Rangan, C.}, TITLE = {An optimal algorithm for reconstructing a binary tree}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {113-115}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gabrani-Shankar/92, AUTHOR = {Gabrani, Naveen and Shankar, Priti}, TITLE = {A note on the reconstruction of a binary tree from its traversals}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {117-119}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Szymanski-Sinharoy/92, AUTHOR = {Szymanski, Boleslaw K. and Sinharoy, Balaram}, TITLE = {Complexity of the closest vector problem in a lattice generated by $(0,1)$-matrix}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {121-126}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Corrigendum in Inf.~Process.~Lett.\ 43, 167}, } @article{Huy-Livotsky-Van/92, AUTHOR = {Huy, Phan Trung and Livotsky, Igor and Van, Do Long}, TITLE = {Which finite monoids are syntactic monoids of rational $\omega$-languages}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {127-132}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zhang-Statman-Shasha/92, AUTHOR = {Zhang, Kaizhong and Statman, Rick and Shasha, Dennis}, TITLE = {On the editing distance between unordered labeled trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {133-139}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Parker-Hamblen/92, AUTHOR = {Parker, A. and Hamblen, J.O.}, TITLE = {Optimal value for the Newton-Raphson division algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {141-144}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Li-Vitanyi/92b, AUTHOR = {Li, Ming and Vit{\'a}nyi, Paul M.B.}, TITLE = {Average case complexity under the universal distribution equals worst-case complexity}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {145-149}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Salowe/92, AUTHOR = {Salowe, J.S.}, TITLE = {A note on lower bounds for rectilinear Steiner trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {151-152}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bui-Jones/92, AUTHOR = {Bui, Thang Nguyen and Jones, Curt}, TITLE = {Finding good approximate vertex and edge partitions in NP-hard}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {153-159}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Mowbray/92, AUTHOR = {Mowbray, Miranda}, TITLE = {Finitary logics for some CCS observational bisimulations}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {161-165}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Groote/92, AUTHOR = {Groote, Jan Friso}, TITLE = {A short proof of the decidability of bisimulation for normed BPA-processes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {167-171}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sarkar-Chakrabarti-Ghose-Sarkar/92a, AUTHOR = {Sarkar, U.K. and Chakrabarti, P.P. and Ghose, S. and Sarkar, S.C. De}, TITLE = {A simple 0.5-bounded greedy algorithm for the 0/1 knapsack problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {173-177}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hwang/92, AUTHOR = {Hwang, Tzonelih}, TITLE = {Protocols for group oriented secret sharing}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {179-182}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Blum/92, AUTHOR = {Blum, Avrim}, TITLE = {Rank-$r$ decision trees are a subclass of $r$-decision lists}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {183-185}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Aykanat-ozguner/92, AUTHOR = {Aykanat, C. and {\"o}zg{\"u}ner, F.}, TITLE = {A fault-tolerant hexagonal systolic array}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {187-196}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/92, AUTHOR = {Chen, Lin}, TITLE = {Optimal parallel time bounds for the maximum clique problem on intervals}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {197-201}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vaidyanathan/92, AUTHOR = {Vaidyanathan, Ramachandran}, TITLE = {Sorting on PRAMs with reconfigurable buses}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {203-208}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Liu-You/92, AUTHOR = {Liu, Zhiyong and You, Jia-Huai}, TITLE = {An implementation of a nonlinear skewing scheme}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {209-215}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vaidyanathan-Hartmann-Varshney/92, AUTHOR = {Vaidyanathan, Ramachandran and Hartmann, Carlos R.P. and Varshney, Pramod K.}, TITLE = {PRAMs with variable word-size}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {217-222}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Colbourn-Stinson-Teirlinck/92, AUTHOR = {Colbourn, C.J. and Stinson, D.R. and Teirlinck, L.}, TITLE = {A parallelization of Miller's $n^{\log n}$ isomorphism technique}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {223-228}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sprague-Kulkarni/92, AUTHOR = {Sprague, Alan P. and Kulkarni, K.H.}, TITLE = {Optimal parallel algorithms for finding cut vertices and bridges of interval graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {229-234}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Day-Tripathi/92, AUTHOR = {Day, Khaled and Tripathi, Anand}, TITLE = {Arrangement graphs: A class of generalized star graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {235-241}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chen/92b, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {A simple parallel algorithm for computing the diameters of all vertices in a tree and its application}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {243-248}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Goldberg/92a, AUTHOR = {Goldberg, Andrew V.}, TITLE = {A natural randomization strategy for multicommodity flow and related algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {249-256}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wismath/92, AUTHOR = {Wismath, S.K.}, TITLE = {Computing the full visibility graph of a set of line segments}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {257-261}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Han/92, AUTHOR = {Han, Jiawei}, TITLE = {Binding propagation beyond the reach of rule/goal graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {263-268}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Litow/92, AUTHOR = {Litow, Bruce}, TITLE = {On iterated integer product}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {269-272}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wrightson-Coldwell/92, AUTHOR = {Wrightson, Graham and Coldwell, Jo}, TITLE = {A truncation technique for clausal analytic tableaux}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {273-281}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Singh/92a, AUTHOR = {Singh, Suresh}, TITLE = {Expected connectivity and leader election in unreliable networks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {283-285}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cameron-Wood/92, AUTHOR = {Cameron, Helen and Wood, Derick}, TITLE = {A note on the path length of red-black trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {287-292}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Manacher-Mankus/92, AUTHOR = {Manacher, Glenn K. and Mankus, Terrance A.}, TITLE = {Incorporating negative-weight vertices in certain vertex-search graph algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {293-294}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Miltersen/92, AUTHOR = {Miltersen, Peter Bro}, TITLE = {Circuit depth relative to a random oracle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {295-298}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Woeginger-Yu/92, AUTHOR = {Woeginger, Gerhard J. and Yu, Zhongliang}, TITLE = {On the equal-subset-sum problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {299-302}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zhu/92a, AUTHOR = {Zhu, Binhai}, TITLE = {Computing the shortest diagonal of a monotone polygon in linear time}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {303-307}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dahlhaus-Karpinski-Kelsen/92, AUTHOR = {Dahlhaus, Elias and Karpinski, Marek and Kelsen, Pierre}, TITLE = {An efficient parallel algorithm for computing a maximal independent set in a hypergraph of dimension 3}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {309-313}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Stein-Wein/92, AUTHOR = {Stein, Clifford and Wein, Joel}, TITLE = {Approximating the minimum-cost maximum flow is P-complete}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {315-319}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Khuller-Schieber/92, AUTHOR = {Khuller, Samir and Schieber, Baruch}, TITLE = {On independent spanning trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {321-323}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Morita/92, AUTHOR = {Morita, Kenichi}, TITLE = {Computation-universality of one-dimensional one-way reversible cellular automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {325-329}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Brogi-Ciampolini-Lamma-Mello/92, AUTHOR = {Brogi, Antonio and Ciampolini, Anna and Lamma, Evelina and Mello, Paolo}, TITLE = {The implementation of a distributed model for logic programming based on multiple-headed clauses}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {331-338}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Goles-Martinez/92, AUTHOR = {Goles, Eric and Mart{\'i}nez, Servet}, TITLE = {Automata networks and optimization}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {339-343}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kinnersley/92, AUTHOR = {Kinnersley, Nancy G.}, TITLE = {The vertex separation number of a graph equals its path-width}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {42}, PAGES = {345-350}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Di_Battista-Tamassia-Tollis/92, AUTHOR = {Di Battista, Giuseppe and Tamassia, Roberto and Tollis, Ioannis G.}, TITLE = {Constrained visibility representations of graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {1-7}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Jacob/92, AUTHOR = {Jacob, Jeremy}, TITLE = {A model of reconfiguration in communicating sequential processes with a notion of transactions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {9-12}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ancona-Fassino-Gianuzzi/92, AUTHOR = {Ancona, Massimo and Fassino, Claudia and Gianuzzi, Vittoria}, TITLE = {Optimization of LR($k$) ``reduced parsers''}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {13-20}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Atkinson-Sack/92, AUTHOR = {Atkinson, M.D. and Sack, J.-R.}, TITLE = {Generating binary trees at random}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {21-23}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Stotts-Godfrey/92, AUTHOR = {Stotts, P. David and Godfrey, Parke}, TITLE = {Place/transition nets with debit arcs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {25-33}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pachl/92, AUTHOR = {Pachl, Jan}, TITLE = {A simple proof of a completeness result for leads-to in the UNITY logic}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {35-38}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Corrigendum in Inf.~Process.~Lett.\ 44, 171}, } @article{Chen-Das/92, AUTHOR = {Chen, Calvin C.-Y. and Das, Sajal K.}, TITLE = {Breadth-first traversal of trees and integer sorting in parallel}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {39-49}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Srimani-Reddy/92, AUTHOR = {Srimani, Pradip K. and Reddy, Rachamallu L.N.}, TITLE = {Another distributed algorithm for multiple entries to a critical section}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {51-57}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kobuchi/92, AUTHOR = {Kobuchi, Youichi}, TITLE = {Order of state functions and logic functions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {61-66}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Pavlu/92, AUTHOR = {Pavl{\r{u}}, Petr}, TITLE = {On efficient implementation of LR-attributed grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {67-75}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Adams/92, AUTHOR = {Adams, Carlisle M.}, TITLE = {On immunity against Biham and Shamir's ``differential cryptanalysis''}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {77-80}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{von_zur_Gathen/92, AUTHOR = {von zur Gathen, Joachim}, TITLE = {Processor-efficient exponentiation in finite fields}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {81-86}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Leermakers/92a, AUTHOR = {Leermakers, Ren{\'e}}, TITLE = {A recursive ascent Earley parser}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {87-91}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Yao/92, AUTHOR = {Yao, Xin}, TITLE = {Finding approximate solutions to NP-hard problems by neural networks is hard}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {93-98}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chang-Lee/92, AUTHOR = {Chang, R.C. and Lee, H.S.}, TITLE = {Finding a maximum set of independent chords in a circle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {99-102}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Aurenhammer-Stockl/92, AUTHOR = {Aurenhammer, Franz and St{\"o}ckl, Gerd}, TITLE = {Searching for segments with largest relative overlap}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {103-108}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Huang-Chen/92, AUTHOR = {Huang, Shing-Tsaan and Chen, Nian-Shing}, TITLE = {A self-stabilizing algorithm for constructing breadth-first trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {109-117}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gemignani/92, AUTHOR = {Gemignani, Luca}, TITLE = {Fast inversion of Hankel and Toeplitz matrices}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {119-123}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kirchherr/92, AUTHOR = {Kirchherr, W.W.}, TITLE = {Kolmogorov complexity and random graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {125-130}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Misra-Gries/92, AUTHOR = {Misra, J. and Gries, David}, TITLE = {A constructive proof of Vizing's theorem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {131-133}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Shermer/92, AUTHOR = {Shermer, Thomas C.}, TITLE = {A linear algorithm for bisecting a polygon}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {135-140}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Esselink/92, AUTHOR = {Esselink, Klaas}, TITLE = {The order of Appel's algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {141-147}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Aggarwal/92, AUTHOR = {Aggarwal, Alok}, TITLE = {Parallel complexity of computing a maximal set of disjoint paths}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {149-151}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rajcani/92, AUTHOR = {Raj{\v{c}}{\'a}ni, Peter}, TITLE = {Optimal parallel 3-coloring algorithm for rooted trees and its applications}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {153-156}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Verma/92, AUTHOR = {Verma, Rakesh M.}, TITLE = {Strings, trees, and patterns}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {157-161}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Larsen-Schwartzbach-Schmidt/92, AUTHOR = {Larsen, Kim S. and Schwartzbach, Michael I. and Schmidt, Erik M.}, TITLE = {A new formalism for relational algebra}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {163-168}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wada-Luo-Kawaguchi/92, AUTHOR = {Wada, Koichi and Luo, Yupin and Kawaguchi, Kimio}, TITLE = {Optimal fault-tolerant routings for connected graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {169-174}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Szalas/92, AUTHOR = {Szalas, Andrzej}, TITLE = {Axiomatizing fixpoint logics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {175-180}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gusfield-Landau-Schieber/92, AUTHOR = {Gusfield, Dan and Landau, Gad M. and Schieber, Baruch}, TITLE = {An efficient algorithm for the all pairs suffix-prefix problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {181-185}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wu-Tang/92, AUTHOR = {Wu, L.C. and Tang, C.Y.}, TITLE = {Solving the satisfiability problem by using randomized approach}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {187-190}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rote-Woeginger/92, AUTHOR = {Rote, G{\"u}nther and Woeginger, Gerhard}, TITLE = {Counting convex $k$-gons in planar point sets}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {191-194}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kamin/92, AUTHOR = {Kamin, Samuel}, TITLE = {Head-strictness is not a monotonic abstract property}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {195-198}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Buss/92, AUTHOR = {Buss, Samuel R.}, TITLE = {The graph of multiplication is equivalent to counting}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {199-201}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Radhakrishnan/92, AUTHOR = {Radhakrishnan, Jaikumar}, TITLE = {Improved bounds for covering complete uniform hypergraphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {203-207}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hoover-Poole/92, AUTHOR = {Hoover, Debra and Poole, Joseph}, TITLE = {A distributed self-stabilizing solution to the dining philosophers problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {209-213}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Arvind-Pandu_Rangan/92, AUTHOR = {Arvind, K. and Pandu Rangan, C.}, TITLE = {Connected domination and Steiner set on weighted permutation graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {215-220}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Goldmann-Hastad/92, AUTHOR = {Goldmann, Mikael and H{\aa}stad, Johan}, TITLE = {A simple lower bound for monotone clique using a communication game}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {221-226}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ma-Narahari-Tao/92, AUTHOR = {Ma, Eva and Narahari, Bhagirath and Tao, Lixin}, TITLE = {Optimal embedding of 2-D torus into ring}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {227-231}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Shoudai/92, AUTHOR = {Shoudai, Takayoshi}, TITLE = {A $\P$-complete language describable with iterated shuffle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {233-238}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Whaley/92, AUTHOR = {Whaley, Tom}, TITLE = {Alternative developments of cyclic-permutation algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {239-241}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wang/92b, AUTHOR = {Wang, Guorong}, TITLE = {An improved parallel algorithm for computing the generalized inverse $A^+$}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {243-251}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rivin-Zabih/92, AUTHOR = {Rivin, Igor and Zabih, Ramin}, TITLE = {A dynamic programming solution to the $n$-queens problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {253-256}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Narayanaswami-Franklin/92a, AUTHOR = {Narayanaswami, Chandrasekhar and Franklin, William Randolph}, TITLE = {Edge intersection on the hypercube computer}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {257-262}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ko-Ruskey/92, AUTHOR = {Ko, Chun Wa and Ruskey, Frank}, TITLE = {Generating permutations of a bag by interchanges}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {263-269}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Urrutia-Gavril/92, AUTHOR = {Urrutia, J. and Gavril, F.}, TITLE = {An algorithm for fraternal orientation of graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {271-274}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Blazewicz-DellOlmo-Drozdowski-Speranza/92, AUTHOR = {B{\l}a{\.z}ewicz, J. and Dell'Olmo, P. and Drozdowski, M. and Speranza, M.G.}, TITLE = {Scheduling multiprocessor tasks on three dedicated processors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {275-280}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Corrigendum in Inf.~Process.~Lett.\ 49, 269-270}, } @article{Dam/92, AUTHOR = {Dam, Mads}, TITLE = {$R$-generability, and definability in branching time logics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {281-287}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Clausen/92, AUTHOR = {Clausen, Michael}, TITLE = {Almost all boolean functions have no linear symmetries}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {291-292}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Muller/92, AUTHOR = {M{\"u}ller, Fritz}, TITLE = {Confluence of the lambda calculus with left-linear algebraic rewriting}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {293-299}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Erbas-Tanik-Aliyazicioglu/92, AUTHOR = {Erbas, Cengiz and Tanik, Murat M. and Aliyazicioglu, Zekeriya}, TITLE = {Linear congruence equations for the solutions of the $N$-queens problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {301-306}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Miller/92a, AUTHOR = {Miller, L.L.}, TITLE = {Generating hinges from arbitrary subhypergraphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {307-312}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Esparza/92, AUTHOR = {Esparza, Javier}, TITLE = {A solution to the covering problem for 1-bounded conflict-free Petri nets using linear programming}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {313-319}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bshouty/92, AUTHOR = {Bshouty, Nader H.}, TITLE = {A lower bound for the multiplication of polynomials modulo a polynomial}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {321-326}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lozinskii/92, AUTHOR = {Lozinskii, Eliezer L.}, TITLE = {Counting propositional models}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {327-332}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Jansen/92a, AUTHOR = {Jansen, Klaus}, TITLE = {An approximation algorithm for the general routing problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {333-339}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Carson-Nirkhe-Vongsathorn/92, AUTHOR = {Carson, S.D. and Nirkhe, V. and Vongsathorn, P.}, TITLE = {A discrete-state model of the two-headed disk}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {41}, PAGES = {341-345}, YEAR = {1992}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, }