%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.03",
%%%     date            = "28 February 2002",
%%%     time            = "10:51:28 MST",
%%%     filename        = "intjcomputinfsci.bib",
%%%     address         = "Center for Scientific Computing
%%%                        University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 585 1640, +1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "47058 7882 32727 306640",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org, beebe at ieee.org
%%%                        (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX, bibliography, International Journal
%%%                        of Computer and Information Sciences",
%%%     supported       = "yes",
%%%     docstring       = "This is an almost complete bibliography of
%%%                        the International Journal of Computer and
%%%                        Information Sciences (CODEN IJCIAH,
%%%                        0091-7036) published by Plenum Press.
%%%                        Publication began with volume 1 in March
%%%                        1972, ceased with volume 14 in December 1985,
%%%                        when the journal was renamed the
%%%                        International Journal of Parallel
%%%                        Programming(CODEN IJPPE5, ISSN 0885-7458).
%%%                        The latter is covered in a companion
%%%                        bibliography, intjparallelprogram.bib.
%%%
%%%                        At version 1.02, the year coverage looked
%%%                        like this:
%%%
%%%                             1972 (  20)    1977 (  22)    1982 (  25)
%%%                             1973 (  19)    1978 (  14)    1983 (  27)
%%%                             1974 (  19)    1979 (  29)    1984 (  27)
%%%                             1975 (  22)    1980 (  25)    1985 (  30)
%%%                             1976 (  20)    1981 (  24)
%%%
%%%                             Article:        323
%%%
%%%                             Total entries:  323
%%%
%%%                        Data for the bibliography has been collected
%%%                        from the INSPEC database (1972--1985),
%%%                        from the MathSciNet database, from the
%%%                        bibliographies in the TeX User Group
%%%                        collection, from bibliographies in the
%%%                        author's personal files, and from the computer
%%%                        science bibliography collection on
%%%                        ftp.ira.uka.de in /pub/bibliography to which
%%%                        many people of have contributed.  The
%%%                        snapshot of this collection was taken on
%%%                        5-May-1994, and it consists of 441 BibTeX
%%%                        files, 2,672,675 lines, 205,289 entries, and
%%%                        6,375 <at>String{} abbreviations, occupying
%%%                        94.8MB of disk space.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.   Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, using ``bibsort -byvolume''.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%=======================================================================
% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    Center for Scientific Computing,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 585 1640, +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org|,
                            \path|beebe@ieee.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%=======================================================================
% Journal abbreviations:

@String{j-INT-J-COMPUT-INF-SCI  = "International Journal of Computer and
                                  Information Sciences"}

%=======================================================================
% Bibliography entries:

@Article{Simon:1972:APN,
  author =       "J. C. Simon and G. Guiho",
  title =        "On algorithms preserving neighborhood, to file and
                 retrieve information in a memory",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "3--15",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "Univ. Paris, France",
  keywords =     "storage management; algorithms; file; retrieve;
                 memory; binary search; hash coding; memory size; number
                 of access operations; distance; neighbourhood;
                 variation properties; approximation methods;
                 probability properties",
  treatment =    "P Practical",
}

@Article{Biss:1972:DSC,
  author =       "K. O. Biss and R. T. Chien and F. A. Stahl",
  title =        "A data structure for cognitive information retrieval",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "17--27",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7250 (Information
                 storage and retrieval)",
  corpsource =   "Univ. Illinois, Urbana-Champaign, IL, USA",
  keywords =     "data structures; information retrieval; data
                 structure; cognitive information retrieval; natural
                 language; expressiveness; logical deduction; machine
                 processing; question answering system; high order
                 calculus",
  treatment =    "P Practical",
}

@Article{Hunter:1972:DRC,
  author =       "L. W. Hunter",
  title =        "A data representation code for text processing
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "29--42",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques); C7240 (Information
                 analysis and indexing)",
  corpsource =   "Univ. Wisconsin, Madison, WI, USA",
  keywords =     "codes; data structures; text editing; data
                 representation code; text processing systems; character
                 strings; string processing; data structure",
  treatment =    "P Practical",
}

@Article{Tou:1972:ARH,
  author =       "J. T. Tou and R. C. Gonzalez",
  title =        "Automatic recognition of handwritten characters via
                 feature extraction and multi-level decision",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "43--65",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Univ. Florida, Gainesville, FL, USA",
  keywords =     "pattern recognition; automatic recognition of
                 handwritten characters; feature extraction;
                 alphanumeric; stylized forms; multilevel decision",
  treatment =    "T Theoretical or Mathematical; X Experimental",
}

@Article{Terrenoire:1972:EAI,
  author =       "M. Terrenoire and M. Simonet",
  title =        "An evaluation of {ALGOL} 68 for interrogation process
                 algorithms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "67--73",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7310 (Mathematics computing)",
  corpsource =   "Faculte Sci. Lyon, Villeurbanne, France",
  keywords =     "ALGOL; random processes; subroutines; evaluation;
                 ALGOL 68; interrogation process algorithms; random
                 process; pseudoquestionnaires",
  treatment =    "P Practical",
}

@Article{Ibaraki:1972:IEP,
  author =       "T. Ibaraki and T. K. Liu and C. R. Baugh and S.
                 Muroga",
  title =        "An implicit enumeration program for zero-one integer
                 programming",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "1",
  pages =        "75--92",
  month =        mar,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0260 (Optimisation techniques); C1180 (Optimisation
                 techniques)",
  keywords =     "integer programming; implicit enumeration program;
                 column vector; computer program; ILLIP; zero one
                 integer programming; pseudo underlining",
}

@Article{Katzan:1972:AAR,
  author =       "H. {Katzan, Jr.}",
  title =        "An {APL} approach to the representation and
                 manipulation of data structures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "2",
  pages =        "93--113",
  month =        jun,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages)",
  corpsource =   "Pratt Inst., Brooklyn, NY, USA",
  keywords =     "data structures; procedure oriented languages; APL;
                 representation; manipulation; data structures; strings;
                 sets; stacks; queues; tables; linked lists; sort
                 trees",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Inselberg:1972:TLS,
  author =       "A. D. Inselberg and E. B. Altman",
  title =        "{2-SLIDS}: a two-stage linked storage structure with
                 link-dependent data capabilities",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "2",
  pages =        "115--133",
  month =        jun,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "IBM Res. Lab., San Jose, CA, USA",
  keywords =     "data structures; 2 stage; linked storage structure;
                 data definition flexibility; physical compactness",
  treatment =    "P Practical",
}

@Article{Fu:1972:SGL,
  author =       "K. S. Fu and T. Huang",
  title =        "Stochastic grammars and languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "2",
  pages =        "135--170",
  month =        jun,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Purdue Univ., Lafayette, IN, USA",
  keywords =     "automata theory; formal languages; grammars;
                 stochastic grammars; formal languages; weighted
                 grammars; fuzzy grammars; stochastic automata; indexed
                 grammars; stochastic nested stack automata",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bohm:1972:CAT,
  author =       "C. Bohm and M. Dezani",
  title =        "A {CUCH-machine}: the automatic treatment of bound
                 variables",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "2",
  pages =        "171--191",
  month =        jun,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Univ. Torino, Italy",
  keywords =     "automata theory; CUCH; automatic treatment; bound
                 variables; machine; memory structures",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Wells:1972:UDS,
  author =       "M. B. Wells and J. B. Morris",
  title =        "The unified data structure capability in {Madcap}
                 {VI}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "193--208",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Univ. California, Los Alamos, NM, USA",
  keywords =     "data structures; programming languages; unified data
                 structure capability; Madcap VI; programming language;
                 selector",
  treatment =    "P Practical",
}

@Article{Wile:1972:IBE,
  author =       "D. S. Wile and C. M. Geschke",
  title =        "An implementation base for efficient data
                 structuring",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "209--224",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
  keywords =     "data structures; implementation base; efficient data
                 structuring; specification; data allocation; binding of
                 names",
}

@Article{Wilkes:1972:ATD,
  author =       "M. V. Wilkes",
  title =        "Associative tabular data structures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "225--233",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture); C6120 (File
                 organisation)",
  corpsource =   "Univ. Cambridge, UK",
  keywords =     "data structures; microprogramming; associative tabular
                 data structures; core memory; associative links;
                 microprogramming support; associative search
                 operations",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Busam:1972:DSP,
  author =       "V. A. Busam",
  title =        "A dictionary structure for a {PL/1} compiler",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "235--253",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages); C6150C (Compilers, interpreters and other
                 processors)",
  corpsource =   "Memorex Corp., Santa Clara, CA, USA",
  keywords =     "data structures; PL/1; program compilers; dictionary
                 structure; PL/1 compiler; format; dictionary; symbol
                 table",
}

@Article{Maruyama:1972:PDI,
  author =       "K. Maruyama",
  title =        "A procedure to determine intersections between
                 polyhedral objects",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "255--266",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Univ. Illinois, Urbana-Champaign, IL, USA",
  keywords =     "pattern recognition; procedure; intersections;
                 polyhedral objects; analysis; parity mode",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Mishelevich:1972:CSA,
  author =       "D. J. Mishelevich",
  title =        "Computer-based semantic analyzers",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "3",
  pages =        "267--286",
  month =        sep,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7820 (Humanities computing)",
  corpsource =   "Univ. Texas Southwestern Medical School, Dallas, TX,
                 USA",
  keywords =     "computer aided analysis; language translation and
                 linguistics; computer; semantic analyzers; machine
                 translation; question and answer systems; content
                 analysis; bibliographic retrieval; medical information
                 retrieval systems",
  treatment =    "G General Review",
}

@Article{vanDam:1972:SII,
  author =       "A. {van Dam}",
  title =        "Some implementation issues relating to data structures
                 for interactive graphics",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "4",
  pages =        "287--314",
  month =        dec,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Brown Univ., Providence, RI, USA",
  keywords =     "computer graphics; data structures; programming
                 languages; utility programs; implementation; data
                 structures; interactive graphics; storage structures;
                 specification languages",
  treatment =    "G General Review",
}

@Article{Wilkes:1972:ALA,
  author =       "M. V. Wilkes and W. D. Manville",
  title =        "The associative language {AL-1}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "4",
  pages =        "315--327",
  month =        dec,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages); C6150E (General utility programs)",
  corpsource =   "Univ. Cambridge, UK",
  keywords =     "data structures; microprogramming; procedure oriented
                 languages; table lookup; utility programs; associative
                 language; AL-1; table searching; microprogramming;
                 associative tabular data structure manipulation; low
                 level language",
  treatment =    "P Practical",
}

@Article{Lipovski:1972:DSC,
  author =       "G. J. Lipovski",
  title =        "Data structures in content-addressed cellular
                 memories",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "4",
  pages =        "329--353",
  month =        dec,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Univ. Florida, Gainesville, FL, USA",
  keywords =     "associative storage; content-addressable storage; data
                 structures; table lookup; data structure; associative
                 memory; context addressed cellular memories; data base
                 searching; OR rail; EXCLUSIVE-OR rail",
  treatment =    "P Practical",
}

@Article{Hughes:1972:DUA,
  author =       "C. E. Hughes",
  title =        "Degrees of unsolvability associated with {Markov}
                 algorithms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "1",
  number =       "4",
  pages =        "355--365",
  month =        dec,
  year =         "1972",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Pennsylvania State Univ., University Park, PA, USA",
  keywords =     "algorithm theory; Markov processes; degrees of
                 unsolvability; Markov algorithms; general halting;
                 confluence problems; immortality problem; word
                 problems",
}

@Article{Walk:1973:MSP,
  author =       "K. Walk",
  title =        "Modeling of storage properties of higher-level
                 languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "1",
  pages =        "1--24",
  month =        mar,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages)",
  corpsource =   "IBM Lab., Vienna, Austria",
  keywords =     "data structures; modelling; programming languages;
                 model; storage properties; data structures; high level
                 languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Zalcstein:1973:SLS,
  author =       "Y. Zalcstein",
  title =        "On the semigroups of linear sequential machines",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "1",
  pages =        "25--28",
  month =        mar,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230D (Sequential switching theory)",
  corpsource =   "Univ. Copenhagen, Denmark",
  keywords =     "sequential machines; semigroups; linear sequential
                 machines; characterization; nonsingular",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ivakhnenko:1973:PCS,
  author =       "A. G. Ivakhnenko",
  title =        "Problems of complex system modeling and applied
                 mathematical statistics",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "1",
  pages =        "49--60",
  month =        mar,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1220 (Simulation, modelling and identification)",
  corpsource =   "Inst. Cybernetics, Acad. Sci., Kiev, Ukrainian SSR,
                 USSR",
  keywords =     "data handling; modelling; statistics; applied
                 mathematical statistics; complex systems; group method
                 of data handling; mathematical model",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Diday:1973:DCM,
  author =       "E. Diday",
  title =        "The dynamic clusters method in nonhierarchical
                 clustering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "1",
  pages =        "61--88",
  month =        mar,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Inst. Recherche and Informatique, Rocquencourt,
                 France",
  keywords =     "set theory; dynamic clusters method; nonhierarchical
                 clustering; finite set; algorithm; samplings",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Brunnstein:1973:SRI,
  author =       "K. Brunnstein and J. W. Schmidt",
  title =        "Structuring and retrieving information in
                 computer-based learning",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "89--101",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7250 (Information storage and retrieval); C7810C
                 (Computer-aided instruction)",
  corpsource =   "Hamburg Univ., West Germany",
  keywords =     "computer aided instruction; information retrieval;
                 structuring; retrieving; information; learning; CAI;
                 learner controlled instruction",
}

@Article{Babu:1973:APD,
  author =       "C. Chitti Babu",
  title =        "On the application of probabilistic distance measures
                 for the extraction of features from imperfectly labeled
                 patterns",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "103--114",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Univ. California, Irvine, CA, USA",
  keywords =     "pattern recognition; probabilistic distance measures;
                 extraction of features; Bhattacharyya distance;
                 divergence; equivocation; Kalmogrov variational
                 distance; Matusita distance; imperfectly identified
                 patterns; pattern recognition",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Rickman:1973:SIO,
  author =       "J. Rickman and W. E. Walden",
  title =        "Structures for an interactive on-line thesaurus",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "115--127",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7240 (Information
                 analysis and indexing)",
  corpsource =   "Pennsylvania State Univ., University Park, PA, USA",
  keywords =     "data structures; thesauri; interactive; thesaurus;
                 data structure; plant pathology; hashing function;
                 partial spellings; file blocking; sequential searches;
                 file structure; display formats; user command language;
                 online",
  treatment =    "P Practical",
}

@Article{Book:1973:SCG,
  author =       "R. V. Book",
  title =        "On the structure of context-sensitive grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "129--139",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Harvard Univ., Cambridge, MA, USA",
  keywords =     "context-sensitive grammars; structure; rules;
                 constraints; weak generative capacity; context
                 sensitive grammars",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Payne:1973:PSL,
  author =       "W. H. Payne",
  title =        "Partial sorting: a large vector technique and its
                 application",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "141--156",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6130
                 (Data handling techniques)",
  corpsource =   "Univ. Illinois, Urbana, Champaign, IL, USA",
  keywords =     "programming theory; sorting; partial sorting; large
                 vector technique; application; algorithm; confidence
                 intervals; ranks; rejection procedure",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bohm:1973:NCA,
  author =       "C. Bohm and M. Dezani",
  title =        "Notes on {`A {CUCH-machine}: the automatic treatment
                 of bound variables'}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "2",
  pages =        "157--160",
  month =        jun,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Univ. Torino, Italy",
  keywords =     "automata theory; CUCH; machine; automatic treatment;
                 bound variables",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Findler:1973:PTR,
  author =       "N. V. Findler and D. Chen",
  title =        "On the problems of time, retrieval of temporal
                 relations, causality, and coexistence",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "3",
  pages =        "161--185",
  month =        sep,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C6130 (Data
                 handling techniques)",
  corpsource =   "State Univ., New York, Buffalo, Amherst, MA, USA",
  keywords =     "artificial intelligence; data handling; time;
                 retrieval of temporal relations; causality;
                 coexistence; intelligent; deductive inferences; logical
                 inconsistencies; question answering programs",
  treatment =    "P Practical; X Experimental",
}

@Article{Burke:1973:BFA,
  author =       "J. M. Burke and J. T. Rickman",
  title =        "Bitmaps and filters for attribute-oriented searches",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "3",
  pages =        "187--200",
  month =        sep,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Pennsylvania State Univ., University Park, PA, USA",
  keywords =     "data structures; file organisation; bitmaps; filters;
                 inverted file structures; attribute searches; search
                 lengths; blocking",
  treatment =    "P Practical",
}

@Article{Spier:1973:MIP,
  author =       "M. J. Spier",
  title =        "A model implementation for protective domains",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "3",
  pages =        "201--229",
  month =        sep,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4290 (Other computer theory); C6130 (Data handling
                 techniques); C6150J (Operating systems)",
  corpsource =   "Digital Equipment Corp., Maynard, MA, USA",
  keywords =     "multi-access systems; security of data; protective
                 domains; hardware/software mechanism; protection;
                 controlled access; sharable information structures;
                 storage",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Jain:1973:EWF,
  author =       "V. K. Jain",
  title =        "{ECG} waveform feature extraction and its application
                 to automated prognosis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "3",
  pages =        "231--247",
  month =        sep,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7330 (Biology and medical computing)",
  corpsource =   "Univ. South Florida, Tampa, FL, USA",
  keywords =     "data compression; data reduction and analysis;
                 electrocardiography; pattern recognition; waveform
                 analysis; ECG; waveform feature extraction; automated
                 prognosis; information compression",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Rose:1973:TDF,
  author =       "L. L. Rose and M. H. Gotterer",
  title =        "A theory of dynamic file management in a multilevel
                 store",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "4",
  pages =        "249--256",
  month =        dec,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Pennsylvania State Univ., University Park, PA, USA",
  keywords =     "file organisation; optimisation; storage management;
                 dynamic file management; multilevel store; throughput
                 time; job run time; file movement time; file
                 configuration choice time",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Osteen:1973:CAB,
  author =       "R. E. Osteen and J. T. Tou",
  title =        "A clique-detection algorithm based on neighborhoods in
                 graphs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "4",
  pages =        "257--268",
  month =        dec,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Univ. Florida, Gainesville, FL, USA",
  keywords =     "graph theory; pattern recognition; neighbourhoods;
                 detection; algorithm; graphs; clustering; cliques",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Clark:1973:PTO,
  author =       "J. L. Clark",
  title =        "{PATRICIA-II}. Two-level overlaid indexes for large
                 libraries",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "4",
  pages =        "269--292",
  month =        dec,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7210 (Information services and centres); C7240
                 (Information analysis and indexing); C7250 (Information
                 storage and retrieval)",
  corpsource =   "Univ. California, Los Alamos, NM, USA",
  keywords =     "indexing; information retrieval systems; library
                 mechanisation; two level; PATRICIA-II; overlaid
                 indexes; large libraries; algorithm; retrieve
                 Information; Alphanumeric; core resident; lower index;
                 upper index; FORTRAN program",
  treatment =    "P Practical",
}

@Article{Ealer:1973:DBO,
  author =       "G. C. Ealer and N. F. Jensen and E. G. Monaco",
  title =        "Data base organization and retrieval techniques for
                 steam turbine engineering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "4",
  pages =        "293--309",
  month =        dec,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7100 (Business and
                 administration); C7250 (Information storage and
                 retrieval); C7490 (Computing in other engineering
                 fields)",
  corpsource =   "Westinghouse Electric Corp., Lester, PA, USA",
  keywords =     "file organisation; information retrieval; management
                 information systems; steam turbines; data base
                 organisation; retrieval techniques; steam turbine
                 engineering; computer",
  treatment =    "P Practical",
}

@Article{Rozenberg:1973:ETL,
  author =       "G. Rozenberg",
  title =        "Extension of tabled {0L-systems} and languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "2",
  number =       "4",
  pages =        "311--336",
  month =        dec,
  year =         "1973",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "State Univ. New York, Buffalo, Amherst, MA, USA",
  keywords =     "formal languages; extension; family of languages;
                 tabled 0L systems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Cohen:1974:NTD,
  author =       "J. Cohen and L. Trilling and P. Wegner",
  title =        "A nucleus of a theorem-prover described in
                 {ALGOL-68}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "1",
  pages =        "1--31",
  month =        mar,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C4210 (Formal
                 logic); C7310 (Mathematics computing)",
  corpsource =   "Brandeis Univ., Waltham, MA, USA",
  keywords =     "computer aided analysis; subroutines; theorem proving;
                 nucleus; theorem proving; predicate calculus; ALGOL 68
                 programs; tree method; Beth's method of semantic
                 tableaux; symbolic manipulation algorithms",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bowdon:1974:STP,
  author =       "E. K. {Bowdon, Sr.} and S. A. Mamrak and F. R. Salz",
  title =        "A simulation tool for performance evaluation of the
                 {IBM 360\slash 75}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "1",
  pages =        "33--57",
  month =        mar,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150G (Diagnostic, testing, debugging and
                 evaluating systems); C6150J (Operating systems); C7430
                 (Computer engineering)",
  corpsource =   "Univ. Illinois, Urbana-Champaign, IL, USA",
  keywords =     "computer testing; simulation; simulation tool;
                 performance evaluation; IBM 360/75; improving system
                 performance; network computers; GPSS model; job's total
                 time in the system; resource utilization; dynamic
                 priority assignment algorithm; CPU and memory
                 utilization; load levelling",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Ignizio:1974:HAS,
  author =       "J. P. Ignizio and R. M. Harnett",
  title =        "Heuristically aided set-covering algorithms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "1",
  pages =        "59--70",
  month =        mar,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0260 (Optimisation techniques); C1180 (Optimisation
                 techniques); C7310 (Mathematics computing)",
  corpsource =   "Univ. Alabama, Huntsville, Al, USA",
  keywords =     "computer aided analysis; integer programming;
                 heuristically aided; mathematical programming
                 algorithms; computational efficiency; set covering
                 algorithms; heuristic program; reduced computational
                 time; computation time variance; increased problem size
                 capability",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Bouckaert:1974:CDGa,
  author =       "A. Bouckaert",
  title =        "Computer diagnosis of goiters. {IV}. Optimal planning
                 of physical observations",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "1",
  pages =        "71--92",
  month =        mar,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "A8770E (Patient diagnostic methods and
                 instrumentation); B7510 (Biomedical measurement and
                 imaging); C7330 (Biology and medical computing)",
  corpsource =   "Faculty Medicine, Kinshasa, Zaire",
  keywords =     "computer aided analysis; optimisation; patient
                 diagnosis; computer diagnosis; goiters; optimal
                 planning of physical observations; ordered sequential
                 observations; physical signs; diagnostic recognition;
                 stopping rules; information theoretic criteria",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Shneiderman:1974:MOI,
  author =       "B. Shneiderman",
  title =        "A model for optimizing indexed file structures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "1",
  pages =        "93--103",
  month =        mar,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Indiana Univ., Bloomington, IN, USA",
  keywords =     "data structures; file organisation; indexing;
                 optimisation; model; optimizing indexed file
                 structures; multilevel indexes; accessing records;
                 sorted files; access cost; retrieving; proper size of
                 the index; binary searching; sequential searching",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Minker:1974:MIR,
  author =       "J. Minker and J. R. McSkimin and D. H. Fishman",
  title =        "{MRPPS-An} interactive refutation proof procedure
                 system for question answering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "105--122",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C6130 (Data
                 handling techniques)",
  corpsource =   "Univ. Maryland, College Park, MD, USA",
  keywords =     "data handling; theorem proving; MRPPS; interactive
                 refutation proof procedure; queries; logical
                 deductions; search strategy; heuristically",
  treatment =    "P Practical",
}

@Article{Nishihara:1974:FTQ,
  author =       "S. Nishihara and H. Hagiwara",
  title =        "A full table quadratic search method eliminating
                 secondary clustering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "123--128",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6130 (Data handling
                 techniques)",
  corpsource =   "Kyoto Univ., Japan",
  keywords =     "file organisation; table lookup; full table; quadratic
                 search method; eliminating secondary clustering; hash
                 tables",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Kandel:1974:AFL,
  author =       "A. Kandel",
  title =        "Application of fuzzy logic to the detection of static
                 hazards in combinational switching systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "129--139",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230B (Combinatorial switching theory)",
  corpsource =   "New Mexico Inst. Mining and Technol., Socorro, NM,
                 USA",
  keywords =     "combinatorial switching; hazards and race conditions;
                 fuzzy logic; detection; static hazards; combinational
                 switching systems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Santos:1974:OAL,
  author =       "E. S. Santos",
  title =        "One-way acceptors and languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "141--151",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Youngstown State Univ., OH, USA",
  keywords =     "formal languages; one way; acceptors; languages;
                 abstract families of languages; abstract families of
                 deterministic languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Mateescu:1974:IPM,
  author =       "C. A. Mateescu and I. O. Stamatescu",
  title =        "On an information processing model applied to optical
                 illusions and computer simulations",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "153--166",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  keywords =     "optical information processing; simulation;
                 information processing; optical illusions; computer
                 simulations; image processing; visual phenomena",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Stonebraker:1974:CPI,
  author =       "M. Stonebraker",
  title =        "The choice of partial inversions and combined
                 indices",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "2",
  pages =        "167--188",
  month =        jun,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Univ. California, Berkeley, CA, USA",
  keywords =     "file organisation; choice; partial inversions;
                 combined indices; file; secondary storage device;
                 probabilistic model; interaction activity; queries;
                 updates",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Earley:1974:SEU,
  author =       "J. Earley",
  title =        "Syntax extension using a run time model",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "3",
  pages =        "189--196",
  month =        sep,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages)",
  corpsource =   "Univ. California, Berkeley, CA, USA",
  keywords =     "data structures; problem oriented languages; syntax
                 extension; run time model; programming languages;
                 augmented BNF notation; specialised syntax; data
                 structures",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Lindstrom:1974:ALS,
  author =       "G. Lindstrom",
  title =        "Algorithms for list structure condensation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "3",
  pages =        "197--216",
  month =        sep,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7250 (Information
                 storage and retrieval)",
  corpsource =   "Univ. Pittsburgh, PA, USA",
  keywords =     "data structures; information storage; list processing;
                 list structure condensation; redundant information;
                 data management; redundancy; minimally sized equivalent
                 structure; address identity comparison",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Minker:1974:RLR,
  author =       "J. Minker and G. J. VanderBrug",
  title =        "Representations of the language recognition problem
                 for a theorem prover",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "3",
  pages =        "217--250",
  month =        sep,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C4210 (Formal
                 logic)",
  corpsource =   "Univ. Maryland, College Park, MD, USA",
  keywords =     "formal languages; recursive functions; theorem
                 proving; language recognition; theorem prover; first
                 order logic; sentential forms; Cocke parsing algorithm;
                 recursive languages; state transformation method;
                 resolution based systems; cycle inference system; state
                 space problems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lai:1974:RCT,
  author =       "Hung Chi Lai and S. Muroga and T. Nakagawa",
  title =        "Redundancy check technique for designing optimal
                 networks by branch-and-bound method",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "3",
  pages =        "251--271",
  month =        sep,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5210B (Computer-aided logic design)",
  corpsource =   "Univ. Illinois, Urbana-Champaign, IL, USA",
  keywords =     "computer-aided logic design; redundancy; redundancy
                 check; optimal networks; branch and bound algorithm;
                 minimal NOR networks; fan in; fan out; level
                 restrictions",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Velasco:1974:SSD,
  author =       "F. R. D. Velasco and C. {De-Renna e. Souza}",
  title =        "Sequential syntactical decoding",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "4",
  pages =        "273--287",
  month =        dec,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes); B6140 (Signal processing and
                 detection); C1260 (Information theory); C4210 (Formal
                 logic)",
  corpsource =   "Univ. Federal Rio de Janeiro, Brazil",
  keywords =     "context-free languages; decoding; error detection;
                 fault tolerant computing; sequential syntactical
                 decoding; syntactical information; error detection;
                 location; correction; minimum distance syntactical
                 decoding algorithm; sequential decoding; Fano's
                 algorithm; simulation",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Greibach:1974:SRW,
  author =       "S. A. Greibach",
  title =        "Some restrictions on {W}-grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "4",
  pages =        "289--327",
  month =        dec,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Univ. California, Los Angeles, CA, USA",
  keywords =     "context-free grammars; W grammars; ALGOL 68; normal
                 regular based W grammars; simple W grammars; context
                 free languages; quasirealtime languages; index
                 languages; context free grammars; programming
                 languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{McCormick:1974:TSM,
  author =       "B. H. McCormick and S. N. Jayaramamurthy",
  title =        "Time series model for texture synthesis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "4",
  pages =        "329--343",
  month =        dec,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition); C5540
                 (Terminals and graphic displays); C6130 (Data handling
                 techniques)",
  corpsource =   "Univ. Illinois, Chicago, IL, USA",
  keywords =     "computer graphics; pattern recognition; time series
                 model; texture synthesis; pixels; picture elements;
                 digitized textural scene; seasonal time series;
                 boundary conditions",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Bouckaert:1974:CDGb,
  author =       "A. Bouckaert",
  title =        "Computer diagnosis of goiters. The optimal size of
                 optimal subsymptomatologies",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "3",
  number =       "4",
  pages =        "345--362",
  month =        dec,
  year =         "1974",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition); C7330
                 (Biology and medical computing)",
  corpsource =   "Faculty Medicine, Kinshasa, Zaire",
  keywords =     "biomedical applications of computers; optimisation;
                 patient diagnosis; pattern recognition; computer
                 diagnosis; goiters; optimal size; optimal
                 subsymptomatologies; diagnostic recognition rate;
                 identification; thyroid diseases; unbiased evaluation
                 of performance; Bayesian inference; sequential
                 diagnosis",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{McCormick:1975:DTM,
  author =       "B. H. McCormick and S. N. Jayaramamurthy",
  title =        "A decision theory method for the analysis of texture",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "1--38",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0240E (Game theory); B6140C (Optical information,
                 image and video signal processing); C1140E (Game
                 theory); C1250 (Pattern recognition)",
  corpsource =   "Univ. Illinois, Chicago, IL, USA",
  keywords =     "decision theory and analysis; pattern recognition;
                 statistical decision theory; event; likelihood ratio;
                 operating characteristic curve; local categorizer;
                 acceptance set; interval covering theory; interval
                 complexes; texture analysis; textural feature
                 detectors",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Treu:1975:OSD,
  author =       "S. Treu",
  title =        "On-line student debate: an experiment in communication
                 using computer networks",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "39--51",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5620 (Computer networks and techniques); C7810
                 (Social and behavioural sciences computing)",
  corpsource =   "Univ. Pittsburgh, PA, USA",
  keywords =     "data communication systems; social and behavioural
                 sciences; man computer interface; interpersonal
                 communication; online debate; hierarchical file
                 structure; file based communication; computer network;
                 communication experiment",
  treatment =    "X Experimental",
}

@Article{Wood:1975:NLS,
  author =       "D. Wood",
  title =        "A note on {Lindenmayer} systems, {Szilard} languages,
                 spectra, and equivalence",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "53--62",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "McMaster Univ., Hamilton, Ont., Canada",
  keywords =     "computability and decidability; formal languages;
                 Lindenmayer systems; Szilard languages; spectra:
                 equivalence; regular languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{DalCin:1975:FAT,
  author =       "M. {Dal Cin}",
  title =        "Fuzzy-state automata: their stability and fault
                 tolerance",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "63--80",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Univ. T{\"u}bingen, West Germany",
  keywords =     "fault tolerant computing; finite automata; stability;
                 fault tolerance; fuzzy state automata; fixed point
                 behaviour; almost periodic behaviour; intermittent
                 state transition errors; error correction; tests;
                 finite automata",
  treatment =    "T Theoretical or Mathematical",
}

@Article{DalCin:1975:MTF,
  author =       "M. {Dal Cin}",
  title =        "Modification tolerance of fuzzy-state automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "81--93",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Univ. T{\"u}bingen, West Germany",
  keywords =     "fault tolerant computing; finite automata; fuzzy
                 state; modification tolerance; finite automata; time
                 variant; structural modifications; permanent state
                 transition errors; fault tolerance; fault masking;
                 reliable languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Shyr:1975:LL,
  author =       "H. J. Shyr and G. Thierrin",
  title =        "Left-noncounting languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "1",
  pages =        "95--102",
  month =        mar,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Univ. Western Ontario, London, Ont., Canada",
  keywords =     "formal languages; left noncounting language; free
                 monoid; power separating language; automaton; syntactic
                 monoid; regular language; code; combinatorial monoid;
                 combinatorial right congruence; disjunctive subset;
                 left combinatorial monoid",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hoare:1975:RDS,
  author =       "C. A. R. Hoare",
  title =        "Recursive data structures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "2",
  pages =        "105--132",
  month =        jun,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Queen's Univ. of Belfast,
                 Belfast, UK",
  keywords =     "data structures; recursive functions; storage
                 allocation; axiomatic proof rules; dynamic storage
                 allocation; recursive data structures; programming
                 language; treelike data structures; efficiency; symbol
                 manipulation; high level programming language",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Spier:1975:PPI,
  author =       "M. J. Spier",
  title =        "A pragmatic proposal for the improvement of program
                 modularity and reliability",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "2",
  pages =        "133--149",
  month =        jun,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150J (Operating systems)",
  corpsource =   "Digital Equipment Corp., Software Engng. Dept.,
                 Maynard, MA, USA",
  keywords =     "fault tolerant computing; operating systems
                 (computers); operating system design; program
                 correctness; program reliability; structured
                 modularity; program modularity; domain concept;
                 operating system monitor; database protection;
                 controlled procedure entry points; software error
                 conditions; economic; software quality",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Shrivastava:1975:PSH,
  author =       "S. K. Shrivastava",
  title =        "Process synchronization in high-level languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "2",
  pages =        "151--169",
  month =        jun,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming)",
  corpsource =   "Computer Lab., Cambridge Univ., Cambridge, UK",
  keywords =     "programming; synchronizing primitives; resource
                 allocation; process synchronisation; conditional
                 critical region method; high level programming
                 languages; parallel programs",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Wang:1975:DRU,
  author =       "Y. R. Wang",
  title =        "On data retrieval from unambiguous bit matrices",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "2",
  pages =        "171--187",
  month =        jun,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Univ. of Nebraska, Lincoln,
                 NE, USA",
  keywords =     "data compression; data handling; file organisation;
                 parallel reconstruction; data retrieval; unambiguous
                 bit matrices; descriptor; data files; data
                 compression",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Rosenberg:1975:SAM,
  author =       "A. L. Rosenberg",
  title =        "On storing arbitrarily many extendible arrays of
                 arbitrary dimensions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "2",
  pages =        "189--196",
  month =        jun,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Math. Sci. Dept., IBM Watson Res. Center, Yorktown
                 Heights, NY, USA",
  keywords =     "file organisation; storage allocation; dynamic storage
                 allocation; arbitrary dimensions; allocation scheme;
                 computational characteristics",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Rose:1975:FEA,
  author =       "L. L. Rose and M. H. Gotterer",
  title =        "File evaluation in auxiliary storage",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "197--204",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7250 (Information
                 storage and retrieval)",
  corpsource =   "School of Advanced Technol., State Univ. of New York,
                 Binghamton, New York, NY, USA",
  keywords =     "file organisation; information retrieval system
                 evaluation; simulation; auxiliary storage; throughput
                 time; storage management routine; data; objective
                 function; evaluation function; simulation; file
                 evaluation; exogenous variables; Dynamic File
                 Management model",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Persoon:1975:SCS,
  author =       "E. Persoon and K. S. Fu",
  title =        "Sequential classification of strings generated by
                 {SCFG's}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "205--217",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "School of Electrical Engng., Purdue Univ., West
                 Lafayette, IN, USA",
  keywords =     "classification; context-free grammars; strings;
                 sequential classification algorithm; optimum decision
                 rule; suboptimal stopping rule; time bound; error;
                 processing time; sequential classification; stochastic
                 context free languages; Earley's parsing algorithm",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ehrenfeucht:1975:SCV,
  author =       "A. Ehrenfeucht and K. P. Lee and G. Rozenberg",
  title =        "Subword complexities of various classes of
                 deterministic developmental languages with
                 interactions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "219--236",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4240 (Programming and
                 algorithm theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Colorado, Boulder,
                 CO, USA",
  keywords =     "computational complexity; formal languages;
                 deterministic developmental languages; interactions;
                 tables; subword complexities; D0L language; DIL
                 language",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hwang:1975:SSC,
  author =       "K. Hwang",
  title =        "Some structural complexities of time-varying
                 sequential machines",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "237--245",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230D (Sequential switching theory)",
  corpsource =   "School of Electrical Engng., Purdue Univ., West
                 Lafayette, IN, USA",
  keywords =     "sequential machines; time-varying systems; structural
                 complexities; memory elements; isomorphism; minimality;
                 periodicity; time invariance; convertibility; internal
                 states; periodic structure; extended time; time varying
                 sequential machines; logic elements; infinite state
                 machine; finite state realizability",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Yeh:1975:POS,
  author =       "Hsi-Han Yeh",
  title =        "Parameter optimization of stochastic automata
                 operating in random environments",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "247--263",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Univ. of Kentucky, Lexington, KY, USA",
  keywords =     "automata theory; Markov processes; random processes;
                 stochastic systems; stochastic automata; random
                 environments; lower bounds; convergence; transient
                 probability distribution; equilibrium probability
                 distribution; probability transition matrix; parameter
                 optimization; fourth order systems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Moyne:1975:RCS,
  author =       "J. A. Moyne",
  title =        "Relevance of computer science to linguistics and vice
                 versa",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "3",
  pages =        "265--279",
  month =        sep,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4290 (Other computer
                 theory)",
  corpsource =   "Dept. of Computer Sci., Queens Coll., City Univ. of
                 New York, New York, NY, USA",
  keywords =     "computational linguistics; grammars; computer science;
                 linguistics",
  treatment =    "B Bibliography",
}

@Article{Yue:1975:NHA,
  author =       "P. C. Yue and C. K. Wong",
  title =        "Near-optimal heuristics for an assignment problem in
                 mass storage",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "4",
  pages =        "281--294",
  month =        dec,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6150J (Operating
                 systems)",
  corpsource =   "Computer Sci. Dept., IBM Thomas J. Watson Res. Center,
                 Yorktown Heights, NY, USA",
  keywords =     "optimisation; storage allocation; assignment problem;
                 mass storage; pairwise majorisation; stepwise
                 minimisation; near optimal heuristics; archive
                 organisation; tree enumeration; lower bound; directed
                 graphs",
  treatment =    "E Economic; T Theoretical or Mathematical",
}

@Article{Kameda:1975:AAW,
  author =       "H. Kameda",
  title =        "The analysis of an adaptive workload balancing
                 strategy in computing system resources management",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "4",
  pages =        "295--306",
  month =        dec,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150J (Operating systems)",
  corpsource =   "Dept. of Computer Sci., Univ. of Toronto, Toronto,
                 Ont., Canada",
  keywords =     "operating systems (computers); adaptive workload
                 balancing strategy; computing system resources
                 management; resource utilisation; throughput;
                 turnaround time; coherent priority queueing; IBM OS/VS2
                 release 2; priority pricing",
  treatment =    "E Economic; T Theoretical or Mathematical",
}

@Article{Yue:1975:SCC,
  author =       "P. C. Yue and C. K. Wong",
  title =        "Storage cost considerations in secondary index
                 selection",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "4",
  pages =        "307--327",
  month =        dec,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Computer Sci. Dept., IBM Thomas J. Watson Res. Center,
                 Yorktown Heights, NY, USA",
  keywords =     "storage allocation; secondary index selection;
                 relational data base; multilevelled storage; storage
                 cost; query time; storage block; data transfer;
                 knapsack problem; constrained minimisation",
  treatment =    "E Economic; T Theoretical or Mathematical",
}

@Article{Ang:1975:HAP,
  author =       "Beng-Tung Ang",
  title =        "A heuristic-adaptive procedure for segmentation of
                 time patterns",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "4",
  pages =        "329--348",
  month =        dec,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0290F (Interpolation and function approximation);
                 C1230 (Artificial intelligence); C4130 (Interpolation
                 and function approximation)",
  corpsource =   "Div. of Appl. Math., Brown Univ., Providence, RI,
                 USA",
  keywords =     "adaptive systems; artificial intelligence; least
                 squares approximations; segmentation of time patterns;
                 heuristic search; image restoration; heuristic adaptive
                 operators; regimed pattern; artificial intelligence",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Parks:1975:SMB,
  author =       "P. C. Parks and A. G. Ivakhnenko and L. M. Boichuk and
                 Svetalsky and B. K.",
  title =        "A self-organizing model of the {British} economy for
                 control with optimal prediction using the
                 balance-of-variables criterion",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "4",
  number =       "4",
  pages =        "349--379",
  month =        dec,
  year =         "1975",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1290D (Systems theory applications in economics and
                 business)",
  corpsource =   "Dept. of Engng., Univ. of Warwick, Coventry, UK",
  keywords =     "economic cybernetics; British economy; control with
                 optimal prediction; linear differential equations;
                 group method of data handling; optimal control; moving
                 prediction interval; maximum principle; self organising
                 model; balance of variables criterion",
  treatment =    "E Economic",
}

@Article{Dasarathy:1976:SLE,
  author =       "B. V. Dasarathy and A. L. Lakshminarasimhan",
  title =        "Sequential learning employing unfamiliar teacher
                 hypothesis ({SLEUTH}) with concurrent estimation of
                 both the parameters and teacher characteristics",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "1--7",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence)",
  corpsource =   "Computer Sci. Corp., Huntsville, AL, USA",
  keywords =     "learning systems; SLEUTH; concurrent estimation;
                 parameters; teacher characteristics; unfamiliar
                 environment; sequential learning",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bowie:1976:AGT,
  author =       "W. S. Bowie",
  title =        "Applications of graph theory in computer systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "9--31",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics); C4290 (Other computer
                 theory)",
  corpsource =   "Dept. of Computing and Information Sci., Univ. of
                 Guelph, Guelph, Ont., Canada",
  keywords =     "graph theory; graph theory; computer systems;
                 vertices; states; directed arcs; transitions; directed
                 graphs; basic problems; algorithms; application",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Shneiderman:1976:TTE,
  author =       "B. Shneiderman and S. C. Shapiro",
  title =        "Toward a theory of encoded data structures and data
                 translation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "33--43",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Indiana Univ., Bloomington,
                 IN, USA",
  keywords =     "data structures; theory; encoded data structures; data
                 translation; data base systems; levels of abstraction;
                 model",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Fung:1976:ESD,
  author =       "L. W. Fung and K. S. Fu",
  title =        "An error-correcting syntactic decoder for computer
                 networks",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "45--58",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C5620 (Computer networks and
                 techniques); C6130 (Data handling techniques)",
  corpsource =   "Dept. of Electrical Engng., Univ. of Tennessee,
                 Knoxville, TN, USA",
  keywords =     "computer networks; context-free grammars; error
                 correction codes; syntactic decoder; computer networks;
                 information source; Chomsky Normal Form; binary coded;
                 memoryless symmetric noisy channel; error correcting",
  treatment =    "T Theoretical or Mathematical",
}

@Article{White:1976:OSS,
  author =       "J. W. White",
  title =        "An off-line simulation system for development of
                 real-time {FORTRAN} programs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "59--79",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6140D
                 (High level languages)",
  corpsource =   "Dept. of Chem. Engng., Coll. of Mines, Univ. of
                 Arizona, Tucson, AZ, USA",
  keywords =     "digital simulation; FORTRAN; online operation;
                 programming; simulation system; development; FORTRAN
                 programs; precompiler generation; real time; offline",
  treatment =    "P Practical",
}

@Article{Thomason:1976:BDT,
  author =       "M. G. Thomason and E. W. Page",
  title =        "{Boolean} difference techniques in fault tree
                 analysis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "1",
  pages =        "81--88",
  month =        mar,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Computer Sci., Univ. of Tennessee, Knoxville,
                 TN, USA",
  keywords =     "Boolean algebra; reliability theory; Boolean
                 difference techniques; fault tree analysis; system
                 reliability; individual component failure
                 probabilities; logic expressions",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Furtado:1976:CSD,
  author =       "A. L. Furtado",
  title =        "Characterizing sets of data structures by the
                 connectivity relation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "89--109",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Pontificia Univ. Catolica do Rio de Janeiro, Rio de
                 Janeiro, Brazil",
  keywords =     "data structures; graph theory; data structures;
                 connectivity relation; formalism; directed graph;
                 predicate calculus; characterise",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Guttmann:1976:PRD,
  author =       "A. J. Guttmann",
  title =        "Programming recursively defined functions in
                 {FORTRAN}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "111--122",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6140D
                 (High level languages)",
  corpsource =   "Dept. of Math., Univ. of Newcastle, NSW, Australia",
  keywords =     "FORTRAN; programming theory; recursive functions;
                 recursively defined functions; FORTRAN; programming;
                 stack; function arguments",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Shneiderman:1976:EEP,
  author =       "B. Shneiderman",
  title =        "Exploratory experiments in programmer behavior",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "123--143",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0200 (General computer topics); C6110 (Systems
                 analysis and programming)",
  corpsource =   "Computer Sci. Dept., Indiana Univ., Bloomington, IN,
                 USA",
  keywords =     "personnel; programming; psychology; cognitive
                 psychological experimentation; programming; programmer;
                 logical IF statements; FORTRAN; arithmetic statements;
                 behaviour",
  treatment =    "X Experimental",
}

@Article{Gonzalez:1976:AIT,
  author =       "R. C. Gonzalez and J. J. Edwards and M. G. Thomason",
  title =        "An algorithm for the inference of tree grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "145--164",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Electrical Engng. Dept., Univ. of Tennessee,
                 Knoxville, TN, USA",
  keywords =     "grammars; trees (mathematics); algorithm; inference;
                 tree grammars",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dorrough:1976:PCT,
  author =       "D. Dorrough",
  title =        "Pattern classes: a technique for recovering their
                 distributions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "165--199",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  keywords =     "pattern recognition; recovering; distributions;
                 decision class; pattern classes",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lassez:1976:CCS,
  author =       "J.-L. Lassez",
  title =        "Circular codes and synchronization",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "2",
  pages =        "201--208",
  month =        jun,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6130 (Data handling
                 techniques)",
  corpsource =   "Dept. de Phys.-Math., Univ. de Moncton, Moncton, NB,
                 Canada",
  keywords =     "codes; computability and decidability; finite
                 synchronization delay; characterisation; circular
                 codes",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Johnston:1976:CGB,
  author =       "H. C. Johnston",
  title =        "Cliques of a graph-variations on the {Bron-Kerbosch}
                 algorithm",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "3",
  pages =        "209--238",
  month =        sep,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics); C4210 (Formal logic)",
  corpsource =   "Dept. of Computer Sci., Queen's Univ. of Belfast,
                 Belfast, UK",
  keywords =     "graph theory; sorting; cliques; undirected graph;
                 combinatorial programming; graph theory; stepwise
                 refinement; tree search; Bron Kerbosch algorithm",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Maekawa:1976:DPB,
  author =       "M. Maekawa",
  title =        "Detection of parallelism between statements by
                 decomposing into separate sequential processes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "3",
  pages =        "239--255",
  month =        sep,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Iowa, Iowa City, IA,
                 USA",
  keywords =     "parallel processing; pipeline processing; parallelism;
                 sequential processes; parallel processing; pipelining;
                 multilevel pipelining",
  treatment =    "P Practical",
}

@Article{Cannon:1976:ATC,
  author =       "R. L. {Cannon, Jr.}",
  title =        "An algebraic technique for context-sensitive parsing",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "3",
  pages =        "257--276",
  month =        sep,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Math. and Computer Sci., Univ. of South
                 Carolina, Columbia, SC, USA",
  keywords =     "context-sensitive grammars; context-sensitive
                 languages; parsing; grammar; algebraic parsing; state
                 grammars; context free; context sensitive; canonical
                 parse; semiring",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hinomoto:1976:OFI,
  author =       "H. Hinomoto",
  title =        "Observations of a firm's information processing with a
                 data base management system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "3",
  pages =        "277--302",
  month =        sep,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7100 (Business and
                 administration)",
  corpsource =   "Dept. of Business Administration, Univ. of Illinois,
                 Urbana-Champaign, IL, USA",
  keywords =     "database management systems; data base management
                 system; IMS; data processing; transaction processing",
  treatment =    "A Application; P Practical",
}

@Article{Stallings:1976:ACB,
  author =       "W. Stallings",
  title =        "An application of coroutines and backtracking in
                 interactive systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "4",
  pages =        "303--313",
  month =        dec,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming)",
  corpsource =   "Advanced Computer Tech., Arlington, VA, USA",
  keywords =     "programming; coroutines; backtracking; interactive
                 systems; software structure; recognition; translation",
  treatment =    "P Practical",
}

@Article{Ibaraki:1976:TCS,
  author =       "T. Ibaraki",
  title =        "Theoretical comparisons of search strategies in
                 branch-and-bound algorithms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "4",
  pages =        "315--344",
  month =        dec,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques)",
  corpsource =   "Dept. of Appl. Math. and Phys., Faculty of Engng.,
                 Kyoto Univ., Kyoto, Japan",
  keywords =     "optimisation; comparisons; search strategies;
                 heuristic search; branch and bound; depth first search;
                 best bound search; breadth first search",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Gabow:1976:UEP,
  author =       "H. N. Gabow",
  title =        "Using {Euler} partitions to edge color bipartite
                 multigraphs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "4",
  pages =        "345--355",
  month =        dec,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Dept. of Computer Sci., Univ. of Colorado, Boulder,
                 CO, USA",
  keywords =     "graph colouring; euler partitions; bipartite
                 multigraphs; algorithm; matching; edge colouring;
                 divide and conquer",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Skavaril:1976:BIO,
  author =       "R. V. Skavaril and O. R. Miller",
  title =        "Binary input, output, and manipulation extensions of
                 conversational programming with some biological
                 applications",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "5",
  number =       "4",
  pages =        "357--373",
  month =        dec,
  year =         "1976",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C7330
                 (Biology and medical computing)",
  corpsource =   "Dept. of Genetics, Ohio State Univ., Columbus, OH,
                 USA",
  keywords =     "biology computing; interactive programming;
                 extensions; conversational programming system; input;
                 output; manipulation; binary",
  treatment =    "P Practical",
}

@Article{Hellerman:1977:SMP,
  author =       "H. Hellerman and R. Cavallo",
  title =        "On the solution of multiattribute problems involving
                 counting in intersecting sets",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "1--7",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics)",
  corpsource =   "School of Advanced Technol., State Univ. of New York,
                 Binghamton, NY, USA",
  keywords =     "set theory; solution; multiattribute problems;
                 counting; intersecting sets",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Jordan:1977:NLU,
  author =       "S. R. Jordan",
  title =        "A natural language understander based on a freely
                 associated learned memory net",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "9--25",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence)",
  corpsource =   "Computer Sci. Dept., Univ. of Tennessee-Knoxville,
                 Knoxville, TN, USA",
  keywords =     "artificial intelligence; natural language
                 understander; freely associated learned memory net;
                 artificial intelligence; computer systems; interactive
                 computer program; unsegmented input strings; human
                 trainer",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kai:1977:SED,
  author =       "Hwang Kai",
  title =        "On syntactic edge detection in noisy pictures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "27--40",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Dept. of Electrical and Computer Engng., Wayne State
                 Univ., Detroit, MI, USA",
  keywords =     "pattern recognition; syntactic edge detection; noisy
                 pictures; primitive recognizing mechanism methods;
                 picture parsing methods; line drawing programs",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Starks:1977:AOS,
  author =       "S. A. Starks and R. J. P. {de Figueiredo} and D. L.
                 {Van Rooy}",
  title =        "An algorithm for optimal single linear feature
                 extraction from several {Gaussian} pattern classes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "41--54",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Electrical Engng. Dept., Rice Univ., Houston, TX,
                 USA",
  keywords =     "pattern recognition; algorithm; optimal; single;
                 linear; feature extraction; Gaussian pattern classes;
                 computational",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Neff:1977:SFS,
  author =       "T. P. Neff and A. Kandel",
  title =        "Simplification of fuzzy switching functions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "55--70",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230 (Switching theory)",
  corpsource =   "Computer Sci. Dept., New Mexico Inst. of Mining and
                 Technol., Socorro, NM, USA",
  keywords =     "switching functions; fuzzy switching functions;
                 simplification; algorithm; fuzzy prime implicants;
                 direct simplification",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hughes:1977:AFA,
  author =       "J. S. Hughes and A. Kandel",
  title =        "Applications of fuzzy algebra to hazard detection in
                 combinational switching circuits",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "71--82",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4230B (Combinatorial
                 switching theory)",
  corpsource =   "Computer Sci. Dept., New Mexico Inst. of Mining and
                 Technol., Socorro, NM, USA",
  keywords =     "algebra; combinatorial circuits; hazards and race
                 conditions; fuzzy algebra; hazard detection;
                 combinational switching circuits",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tanatsugu:1977:CSD,
  author =       "K. Tanatsugu and S. Arikawa",
  title =        "On characteristics sets and degrees of finite
                 automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "1",
  pages =        "83--93",
  month =        mar,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Dept. of Math., Kitakyushu Univ., Kitakyushu, Japan",
  keywords =     "finite automata; characteristics sets; degrees; finite
                 automata; converges",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Edmundson:1977:SIM,
  author =       "H. P. Edmundson",
  title =        "Statistical inference in mathematical and
                 computational linguistics",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "2",
  pages =        "95--129",
  month =        jun,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4290 (Other computer theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "computational linguistics; computational linguistics;
                 statistical linguistics; interdisciplinary studies",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Maruyama:1977:GPA,
  author =       "K. Maruyama and D. T. Tang and S. K. Chang",
  title =        "A general packing algorithm for multidimensional
                 resource requirements",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "2",
  pages =        "131--149",
  month =        jun,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "IBM Thomas J. Watson Res. Center, Yorktown Heights,
                 NY, USA",
  keywords =     "operations research; storage allocation; packing
                 algorithm; resource requirements; resource allocations;
                 memory allocation; distributed computer system design;
                 heuristic; algorithms",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Muzio:1977:POS,
  author =       "J. C. Muzio",
  title =        "A prefix operator for a switching algebra",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "2",
  pages =        "151--163",
  month =        jun,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230B (Combinatorial switching theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Manitoba, Winnipeg,
                 Man., Canada",
  keywords =     "Boolean algebra; combinatorial switching; prefix
                 operator; switching algebra; NAND operator; Boolean
                 algebra; operator; circuit manipulation; gate inputs",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Iscovici:1977:FAM,
  author =       "S. Iscovici",
  title =        "Field analysis: a mathematical method of analysis for
                 information handling processes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "2",
  pages =        "165--178",
  month =        jun,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4290 (Other computer theory)",
  corpsource =   "Ministry of State for Urban Affairs, Ottawa, Ont.,
                 Canada",
  keywords =     "computation theory; information handling processes;
                 information processing; information fields;
                 specification; documentation; design; field equations",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Minker:1977:NAE,
  author =       "J. Minker",
  title =        "A note on answer extraction in resolution-based
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "3",
  pages =        "179--192",
  month =        sep,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C4240 (Programming
                 and algorithm theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "artificial intelligence; programming theory; answer
                 extraction; proof graph; tautologies; Luckham Nilsson
                 algorithm; resolution based systems",
  treatment =    "G General Review",
}

@Article{Koch:1977:ISD,
  author =       "H. S. Koch",
  title =        "Information system design for real-time
                 multiprocessing systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "3",
  pages =        "193--209",
  month =        sep,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6110
                 (Systems analysis and programming); C6150J (Operating
                 systems)",
  corpsource =   "Dept. of Computer and Information Sci., Ohio State
                 Univ., Columbus, OH, USA",
  keywords =     "multiprocessing programs; systems analysis;
                 multiprocessing systems; multiprocessing; information
                 systems; system design; real time multiprocessing",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Ting:1977:CHT,
  author =       "T. C. Ting",
  title =        "Compacting homogeneous text for minimizing storage
                 space",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "3",
  pages =        "211--221",
  month =        sep,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "School of Information and Computer Sci., Georgia Inst.
                 of Technol., Atlanta, GA, USA",
  keywords =     "data compression; decoding; encoding; storage
                 allocation; text editing; homogeneous text; storage
                 space; numerical coding method; storage; text
                 information; encoding; decoding; text compaction",
  treatment =    "G General Review",
}

@Article{Aalto:1977:DNU,
  author =       "S. Aalto and E. Schuegraf",
  title =        "Determination of the number of unambiguous bit
                 matrices",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "3",
  pages =        "223--235",
  month =        sep,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1110 (Algebra); C6130 (Data handling techniques)",
  corpsource =   "Dept. of Math., St. Francis Xavier Univ., Antigonish,
                 NS, Canada",
  keywords =     "data handling; matrix algebra; storage allocation;
                 unambiguous bit matrices; bit matrices; binary matrix;
                 binary matrix compression",
  treatment =    "G General Review; T Theoretical or Mathematical",
}

@Article{Bouckaert:1977:CDG,
  author =       "A. Bouckaert",
  title =        "Computer diagnosis of goiters. {V}. The input",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "3",
  pages =        "237--261",
  month =        sep,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7330 (Biology and medical computing)",
  corpsource =   "Dept. of Physiopathology, Faculty of Medicine,
                 Kinshasa, Zaire",
  keywords =     "error analysis; medical diagnostic computing; goiters;
                 differential diagnosis; observation errors; recognition
                 method; diagnostic accuracy; classification errors;
                 computer diagnosis; thyroid pathology",
  treatment =    "A Application; G General Review",
}

@Article{Hamlet:1977:ETP,
  author =       "R. G. Hamlet",
  title =        "Execution traces and programming-language semantics",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "263--278",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "computability and decidability; formal languages;
                 Turing machines; traces; trace languages; Turing
                 machine; trace languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Thesen:1977:PAC,
  author =       "A. Thesen and T. Pinkerton",
  title =        "Predicting the availability of contiguous memory",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "279--287",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6120
                 (File organisation)",
  corpsource =   "Dept. of Industrial Engng., Univ. of Wisconsin,
                 Madison, WI, USA",
  keywords =     "storage allocation; storage management; contiguous
                 memory; memory allocation; fragmentation; garbage
                 collection; simulation model; probability
                 distributions; memory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{DiasVelasco:1977:AFL,
  author =       "F. R. {Dias Velasco} and C. {de Renna e Souza}",
  title =        "An application of formal linguistics to scene
                 recognition",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "289--306",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition); C4210 (Formal
                 logic)",
  corpsource =   "Computer and Information Sci., Space Res. Inst.
                 (INPE), Sao Jose dos Campos, Sao Paulo, Brazil",
  keywords =     "computational linguistics; grammars; pattern
                 recognition; picture processing; formal linguistics;
                 scene recognition; scene description; syntactical
                 recognition; grammars; parsing",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dasarathy:1977:FFE,
  author =       "B. V. Dasarathy",
  title =        "{FEAST}: feature evaluation and selection technique
                 for deployment in unsupervised nonparametric
                 environments",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "307--315",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "M and S Computing Inc., Huntsville, AL, USA",
  keywords =     "pattern recognition; unsupervised nonparametric
                 environments; feature selection; unsupervised learning;
                 automaton model; clustering",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Srivastava:1977:GMQ,
  author =       "H. M. Srivastava and H. B. Kekre and Y. N. Bapat",
  title =        "{G/M/1} queue study of buffer behavior in the decoding
                 system of computer communication",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "317--326",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1140C (Queueing theory); C1260 (Information
                 theory); C5600 (Data communication equipment and
                 techniques)",
  corpsource =   "Computer Centre, Indian Inst. of Technol., Bombay,
                 India",
  keywords =     "data communication systems; decoding; multiplexing;
                 queueing theory; queue study; computer communication;
                 buffer behaviour; decoding; Huffman code; G/M/1 model;
                 waiting time",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Moyne:1977:SDB,
  author =       "J. A. Moyne",
  title =        "{Simple-English} for data base communication",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "6",
  number =       "4",
  pages =        "327--343",
  month =        dec,
  year =         "1977",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6120 (File organisation);
                 C6140D (High level languages)",
  corpsource =   "Dept. of Computer Sci., Queens Coll., City Univ. of
                 New York, Flushing, NY, USA",
  keywords =     "database management systems; procedure oriented
                 languages; data base communication; natural languages;
                 artificial programming languages; simple English",
  treatment =    "G General Review; T Theoretical or Mathematical",
}

@Article{Salomon:1978:SGG,
  author =       "K. B. Salomon",
  title =        "String and graph grammar characterizations of bounded
                 regular languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "1",
  pages =        "1--10",
  month =        mar,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Math., California State Univ., Hayward, CA,
                 USA",
  keywords =     "formal languages; grammars; bounded regular languages;
                 graph grammars; string grammars; state graphs; uniquely
                 recursive; grammar",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Berry:1978:TRRa,
  author =       "D. M. Berry and L. M. Chirica and D. F. Martin and A.
                 Sorkin and J. B. Johnson",
  title =        "Time required for reference count management in
                 retention block-structured languages. {I}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "1",
  pages =        "11--64",
  month =        mar,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6140
                 (Programming languages)",
  corpsource =   "Computer Sci. Dept., Univ. of California, Los Angeles,
                 CA, USA",
  keywords =     "programming languages; structured programming;
                 reference count management; lifetime stack model;
                 deletion strategy; retention strategy; block structured
                 languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Biermann:1978:AII,
  author =       "A. W. Biermann",
  title =        "Automatic insertion of indexing instructions in
                 program synthesis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "1",
  pages =        "65--90",
  month =        mar,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Duke Univ., Durham, NC, USA",
  keywords =     "automatic programming; data structures; interactive
                 programming; indexing instructions; program synthesis;
                 interactive programming; autoprogramming",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Berry:1978:TRRb,
  author =       "D. M. Berry and L. M. Chirica and D. F. Martin and A.
                 Sorkin and J. B. Johnston",
  title =        "On the time required for reference count management in
                 retention block-structured languages. {II}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "2",
  pages =        "91--119",
  month =        jun,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6140
                 (Programming languages)",
  corpsource =   "Computer Sci. Dept., Univ. of California, Los Angeles,
                 CA, USA",
  keywords =     "programming languages; structured programming;
                 reference count management; deletion strategy; lifetime
                 checks; retention strategy; block structured languages;
                 contour model; stack model",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hofri:1978:GAM,
  author =       "M. Hofri",
  title =        "A generating-function analysis of multiprogramming
                 queues",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "2",
  pages =        "121--155",
  month =        jun,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1140C (Queueing theory); C1140Z (Other topics in
                 statistics)C4150 (Nonlinear and functional equations);
                 C6150J (Operating systems)",
  corpsource =   "Computer Sci. Dept., Technion-Israel Inst. of
                 Technol., Haifa, Israel",
  keywords =     "functional equations; Markov processes;
                 multiprogramming; queueing theory; multiprogramming
                 queues; Markov chain; functional equation; probability
                 generating functions",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Minsky:1978:OSA,
  author =       "N. Minsky",
  title =        "An operation-control scheme for authorization in
                 computer systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "2",
  pages =        "157--191",
  month =        jun,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0310 (EDP management); C6150J (Operating systems)",
  corpsource =   "Dept. of Computer Sci., Rutgers Univ., New Brunswick,
                 NJ, USA",
  keywords =     "operating systems (computers); security of data;
                 protection; operating systems; databases; access
                 control; operation control; information systems;
                 authorisation",
  treatment =    "G General Review",
}

@Article{Hunter:1978:MPP,
  author =       "D. W. Hunter and G. S. Shedler",
  title =        "Multivariate point process models for response times
                 in multiprogrammed systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "2",
  pages =        "193--217",
  month =        jun,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6150J (Operating
                 systems)",
  corpsource =   "IBM T.J. Watson Res. Center, Yorktown Heights, NY,
                 USA",
  keywords =     "database management systems; multiprocessing systems;
                 response times; multiprogrammed systems; multivariate
                 point process models; R-process; workload
                 characteristics; system performance predictions;
                 database management systems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ellis:1978:ASA,
  author =       "Clarence A. Ellis",
  title =        "Analysis of some abstract measures of protection in
                 computer systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "3",
  pages =        "219--251",
  month =        sep,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B20",
  MRnumber =     "80a:68025",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4290 (Other computer theory); C5420 (Mainframes and
                 minicomputers); C6130 (Data handling techniques)",
  corpsource =   "Dept. of Electrical Engng. and Computer Sci., MIT,
                 Cambridge, MA, USA",
  keywords =     "multi-access systems; security of data; time-sharing
                 systems; abstract measures of protection; computer
                 systems; system cost; access mechanisms; security",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dasarathy:1978:CCH,
  author =       "B. V. Dasarathy and K. P. {Bharath Kumar}",
  title =        "{CHITRA}: cognitive handprinted input-trained
                 recursively analyzing system for recognition of
                 alphanumeric characters",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "3",
  pages =        "253--282",
  month =        sep,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250B (Character recognition); C5530
                 (Pattern recognition and computer vision equipment)",
  corpsource =   "M and S Computing Inc., Huntsville, AL, USA",
  keywords =     "character recognition; CHITRA; cognitive; handprinted;
                 recognition of alphanumeric characters; recognition
                 algorithm; multistage feature extractor",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Singh:1978:PAT,
  author =       "Shanker Singh and Vijendra Pal Singh",
  title =        "A probabilistic approach for testing large-scale
                 integrated circuits",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "3",
  pages =        "283--294",
  month =        sep,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "94C05",
  MRnumber =     "80a:94048",
  MRreviewer =   "Ernest S. Kuh",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0170E (Production facilities and engineering);
                 B2220 (Integrated circuits); C5210 (Logic design
                 methods)",
  corpsource =   "IBM Corp., East Fishkill, NY, USA",
  keywords =     "integrated circuit testing; logic testing;
                 probabilistic; integrated logic circuit chips; reliable
                 screening test procedure; reference standard; circuit
                 testing; LSI",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Chen:1978:SOS,
  author =       "T. C. Chen and K. P. Eswaran and V. Y. Lum and C.
                 Tung",
  title =        "Simplified odd-even sort using multiple shift-register
                 loops",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "3",
  pages =        "295--314",
  month =        sep,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5320E (Storage on stationary magnetic media); C6120
                 (File organisation); C6130 (Data handling techniques)",
  corpsource =   "IBM Res. Lab., San Jose, CA, USA",
  keywords =     "magnetic film stores; sorting; storage management;
                 sorting; bubbles; shift register; loops; parallel
                 sorting; odd even sort",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ibaraki:1978:DSB,
  author =       "Toshihide Ibaraki",
  title =        "Depth-$m$ search in branch-and-bound algorithms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "4",
  pages =        "315--343",
  month =        dec,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "90C10 (68C05)",
  MRnumber =     "80a:90098",
  MRreviewer =   "Uwe Zimmermann",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques)",
  corpsource =   "Dept. of Appl. Math. and Phys., Kyoto Univ., Kyoto,
                 Japan",
  keywords =     "optimisation; depth-m search; branch-and-bound
                 algorithms; heuristic search; computational experiment;
                 exact upper bound; memory space",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Sebesta:1978:PIG,
  author =       "Robert W. Sebesta and Neil D. Jones",
  title =        "Parsers for indexed grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "4",
  pages =        "345--359",
  month =        dec,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F25",
  MRnumber =     "80b:68103",
  MRreviewer =   "Anton Nijholt",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "State Univ. of New York, Oswego, NY, USA",
  keywords =     "context-free grammars; context-free languages;
                 context-sensitive languages; parsable indexed grammars;
                 context free grammars; LL algorithms; linear time;
                 context free languages; noncontextfree languages; flag
                 strings; canonical systems; LR algorithms",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Berry:1978:TRG,
  author =       "D. M. Berry and A. Sorkin",
  title =        "Time required for garbage collection in retention
                 block-structured languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "7",
  number =       "4",
  pages =        "361--404",
  month =        dec,
  year =         "1978",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15",
  MRnumber =     "80e:68043",
  MRreviewer =   "A. N. Maslov",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Computer Sci. Dept., Univ. of California, Los Angeles,
                 CA, USA",
  keywords =     "storage management; garbage collection; retention
                 block structured languages; time requirements;
                 recovering inaccessible storage; optimized",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tou:1979:ZTB,
  author =       "J. T. Tou",
  title =        "Zoom-thresholding technique for boundary
                 determination",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "1",
  pages =        "3--8",
  month =        feb,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1180 (Optimisation techniques); C1250
                 (Pattern recognition)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "computerised picture processing; optimisation;
                 boundary determination; automatic determination; image
                 processing; optimal threshold; fuzzy boundary;
                 optimization process; edge detection; zoom
                 thresholding; lung tissues; picture processing;
                 photomicrographs; pattern recognition",
  treatment =    "G General Review",
}

@Article{Epstein:1979:STE,
  author =       "H. I. Epstein and B. F. Caviness",
  title =        "A structure theorem for the elementary functions and
                 its application to the identity problem",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "1",
  pages =        "9--37",
  month =        feb,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "12H05 (68C05)",
  MRnumber =     "80k:12032",
  MRreviewer =   "Michael F. Singer",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1110 (Algebra)",
  corpsource =   "Dept. of Math., Boston Coll., Chestnut Hill, MA, USA",
  keywords =     "algebra; structure theorem; elementary functions;
                 identity problem; exponential functions; Risch;
                 symbolic mathematical computation; canonical form;
                 elementary transcendental functions; logarithmic
                 functions; regular form; trigonometric functions;
                 hyperbolic functions; algebraic independence;
                 differential algebra; Liouville fields",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Gotlieb:1979:DSB,
  author =       "C. C. Gotlieb and A. L. Furtado",
  title =        "Data schemata based on directed graphs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "1",
  pages =        "39--73",
  month =        feb,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4210 (Formal
                 logic); C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Univ. of Toronto, Toronto,
                 Ont., Canada",
  keywords =     "data structures; directed graphs; grammars; directed
                 graphs; data structures; RLDs; grammars; languages;
                 data definition; data manipulation; database systems;
                 CODASYL",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dasarathy:1979:LUV,
  author =       "B. V. Dasarathy and A. L. Lakshminarasimhan",
  title =        "Learning under a {VEDIC} teacher (pattern
                 recognition)",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "1",
  pages =        "75--88",
  month =        feb,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1240 (Adaptive system theory); C1250
                 (Pattern recognition)",
  corpsource =   "M and S Computing Inc., Huntsville, AL, USA",
  keywords =     "learning systems; pattern recognition; VEDIC teacher;
                 parametric learning; vicissitudinous teacher;
                 simulation results; supervision; pattern recognition;
                 vicissitudinous environment defining; imperfectly
                 counseling",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Maryanski:1979:PSS,
  author =       "Fred J. Maryanski and Michael G. Thomason",
  title =        "Properties of stochastic syntax-directed translation
                 schemata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "2",
  pages =        "89--110",
  month =        apr,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F15 (68D25 94A15)",
  MRnumber =     "80e:68209",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Computer Sci. Dept., Kansas State Univ., Manhattan,
                 KS, USA",
  keywords =     "context-free grammars; context-free languages;
                 language translation; Markov processes; translation
                 schemata; stochastic mappings; context free languages;
                 stochastic grammars; automata; stochastic pushdown
                 transducer; Markov chains",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ivakhnenko:1979:DMO,
  author =       "A. G. Ivakhnenko",
  title =        "Development of models of optimal complexity using
                 self-organization theory",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "2",
  pages =        "111--127",
  month =        apr,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques); C7000 (Computer
                 applications)",
  corpsource =   "Acad. of Sci., Kiev, Ukrainian SSR, USSR",
  keywords =     "digital simulation; optimisation; optimal complexity;
                 polynomial; mathematical model; self organisation
                 theory; digital simulation; prediction optimisation",
  treatment =    "G General Review",
}

@Article{Schinnar:1979:GIS,
  author =       "Arie P. Schinnar",
  title =        "Generalized inverse solutions of multiattribute
                 accounting problems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "2",
  pages =        "129--139",
  month =        apr,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "92A15",
  MRnumber =     "80g:92028",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1290 (Applications of systems theory)",
  corpsource =   "School of Public and Urban Policy, Univ. of
                 Pennsylvania, Philadelphia, PA, USA",
  keywords =     "information retrieval; operations research;
                 multiattribute accounting problems; factorization;
                 generalized inverse methods; computing; intersecting
                 sets; information retrieval",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Cannon:1979:NCL,
  author =       "Robert L. {Cannon, Jr.}",
  title =        "Notes on canonical label languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "2",
  pages =        "141--148",
  month =        apr,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F05",
  MRnumber =     "80e:68182",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Math., Computer Sci. and Statistics, Univ. of
                 South Carolina, Columbia, SC, USA",
  keywords =     "formal languages; canonical label languages; label
                 words; context free grammars; phrase structure
                 grammar",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Vere:1979:CRP,
  author =       "Steven A. Vere",
  title =        "Composition of relational productions for plans and
                 programs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "2",
  pages =        "149--179",
  month =        apr,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B10 (68B99)",
  MRnumber =     "80e:68041",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C4240 (Programming
                 and algorithm theory)",
  corpsource =   "Dept. of Information Engng., Univ. of Illinois,
                 Chicago, IL, USA",
  keywords =     "artificial intelligence; programming theory;
                 relational productions; mathematical model; information
                 processing; computer programs; artificial intelligence
                 plans; composition theorem; loop semantics;
                 verification method; structured data; programming
                 theory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Edmundson:1979:NPC,
  author =       "H. P. Edmundson and Immanuel I. Tung",
  title =        "The notion of a probabilistic cellular acceptor",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "3",
  pages =        "181--208",
  month =        jun,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68D25 (68D20)",
  MRnumber =     "80e:68146",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "finite automata; formal languages; probabilistic
                 cellular acceptor; cellular automaton; probabilistic
                 automaton; probabilistic bounded cellular acceptor;
                 PBCA; languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Thayse:1979:EPP,
  author =       "A. Thayse",
  title =        "Encoding of parallel program schemata by vector
                 addition systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "3",
  pages =        "209--218",
  month =        jun,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B20",
  MRnumber =     "80e:68064",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5420 (Mainframes and minicomputers)",
  corpsource =   "MBLE Res. Lab., Brussels, Belgium",
  keywords =     "parallel processing; parallel program schemata; vector
                 addition systems; encoding",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Shneiderman:1979:SSI,
  author =       "B. Shneiderman and R. Mayer",
  title =        "Syntactic\slash semantic interactions in programmer
                 behavior: a model and experimental results",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "3",
  pages =        "219--238",
  month =        jun,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0310 (EDP management); C6110 (Systems analysis and
                 programming); C6150G (Diagnostic, testing, debugging
                 and evaluating systems)",
  corpsource =   "Dept. of Information Systems Management, Univ. of
                 Maryland, College Park, MD, USA",
  keywords =     "DP management; program debugging; programming;
                 cognitive framework; composition; comprehension;
                 debugging; modification; information processing model;
                 syntactic knowledge; programmer behaviour;
                 syntactic/semantic interactions",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Sheela:1979:ONA,
  author =       "B. V. Sheela and B. V. Dasarathy",
  title =        "{OPAL}: a new algorithm for optimal partitioning and
                 learning in nonparametric unsupervised environments",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "3",
  pages =        "239--253",
  month =        jun,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1180 (Optimisation techniques); C1250
                 (Pattern recognition)",
  corpsource =   "ISRO Satellite Center, Bangalore, India",
  keywords =     "nonlinear programming; optimisation; pattern
                 recognition; OPAL; algorithm; optimal partitioning and
                 learning; nonparametric unsupervised environments;
                 nonlinear programming; learning; clustering;
                 intergroup; intragroup distinct scatters",
  treatment =    "N New Development; T Theoretical or Mathematical",
}

@Article{Anisimov:1979:IS,
  author =       "A. V. Anisimov and D. E. Knuth",
  title =        "Inhomogeneous sorting",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "255--260",
  month =        aug,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "Dept. of Cybernetics, Kiev State Univ., Kiev,
                 Ukrainian SSR, USSR",
  keywords =     "sorting; sorting; commute; lexicographically smallest;
                 topological; inhomogeneous",
  treatment =    "T Theoretical or Mathematical",
}

@Article{V:1979:IS,
  author =       "A. V. An\=\i s\=\i mov and D. E. Knuth",
  title =        "Inhomogeneous sorting",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "255--260",
  year =         "1979",
  MRclass =      "68E05",
  MRnumber =     "80j:68049",
  MRreviewer =   "R. J. McEliece",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Alter:1979:ESG,
  author =       "Ronald Alter and Johnson M. Hart",
  title =        "Enumerating syntactical graphs and lattices of
                 derivations",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "261--277",
  month =        aug,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F05 (68C05 68E10)",
  MRnumber =     "80g:68090",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Computer Sci., Univ. of Kentucky, Lexington,
                 KY, USA",
  keywords =     "grammars; graph theory; syntactical graphs; lattices
                 of derivations; phrase structure grammars",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Al-Fedaghi:1979:AAC,
  author =       "S. S. Al-Fedaghi and Y. H. Chin",
  title =        "Algorithmic approach to the consecutive retrieval
                 property",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "279--301",
  month =        aug,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68H05 (68B15 68C05)",
  MRnumber =     "80h:68079",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Electrical Engng. and Computer Sci.,
                 Northwestern Univ., Evanston, IL, USA",
  keywords =     "file organisation; consecutive retrieval property;
                 file organization; incidence matrix; data base design",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tangwongsan:1979:ALR,
  author =       "S. Tangwongsan and K. S. Fu",
  title =        "An application of learning to robotic planning",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "303--333",
  month =        aug,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence)",
  corpsource =   "School of Electrical Engng., Purdue Univ.,
                 W.Lafayette, IN, USA",
  keywords =     "learning systems; robots; learning; robotic planning;
                 speed; supervised learning; analogy",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Culik:1979:DDT,
  author =       "K. {Culik, II} and D. Wood",
  title =        "Doubly deterministic tabled {OL} systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "4",
  pages =        "335--347",
  month =        aug,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F05",
  MRnumber =     "80k:68058",
  MRreviewer =   "Juhani Karhum{\"a}ki",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Computer Sci., Univ. of Waterloo, Waterloo,
                 Ont., Canada",
  keywords =     "computability and decidability; grammars; tabled; OL
                 systems; doubly deterministic; decidability;
                 biological",
  treatment =    "T Theoretical or Mathematical",
}

@Article{A:1979:NME,
  author =       "Gyula A. Mag{\'o}",
  title =        "A network of microprocessors to execute reduction
                 languages. {I}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "5",
  pages =        "349--385",
  year =         "1979",
  MRclass =      "68F10",
  MRnumber =     "80i:68065",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Mago:1979:NMEa,
  author =       "G. A. Mago",
  title =        "A network of microprocessors to execute reduction
                 languages. {I}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "5",
  pages =        "349--385",
  month =        oct,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture)",
  corpsource =   "Dept. of Computer Sci., Univ. of North Carolina,
                 Chapel Hill, NC, USA",
  keywords =     "computer architecture; microprocessors; reduction
                 languages; cellular processor; interconnected networks;
                 unbounded parallelism; computer architecture",
  treatment =    "P Practical",
}

@Article{Weyuker:1979:APS,
  author =       "Elaine J. Weyuker",
  title =        "The applicability of program schema results to
                 programs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "5",
  pages =        "387--403",
  month =        oct,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B10 (03D80)",
  MRnumber =     "81d:68026",
  MRreviewer =   "H. J{\"u}rgensen",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Dept. of Computer Sci., New York Univ., New York, NY,
                 USA",
  keywords =     "computability and decidability; optimisation;
                 programming theory; program schema results;
                 translatability; optimization; program testing",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Proskurowski:1979:MDC,
  author =       "Andrzej Proskurowski",
  title =        "Minimum dominating cycles in $2$-trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "5",
  pages =        "405--417",
  month =        oct,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68E10 (05C05)",
  MRnumber =     "80m:68059",
  MRreviewer =   "James R. Evans",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics)",
  corpsource =   "Dept. of Computer Sci., Univ. of Oregon, Eugene, OR,
                 USA",
  keywords =     "trees (mathematics); linear time algorithm; minimum
                 dominating cycles; recursive representation; directed
                 trees; graphs; Z trees",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Stoutemyer:1979:CAC,
  author =       "D. R. Stoutemyer",
  title =        "Computer algebra for the calculus of variations, the
                 maximum principle and automatic control",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "5",
  pages =        "419--434",
  month =        oct,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1330 (Optimal control); C7420 (Control engineering
                 computing)",
  corpsource =   "Electrical Engng. Dept., Univ. of Hawaii, Honolulu,
                 HI, USA",
  keywords =     "automatic control; control engineering computing;
                 optimal control; variational techniques; calculus of
                 variations; maximum principle; automatic control;
                 functional integrands; optimal control problem;
                 Hamiltonian; control engineering computing",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Mago:1979:NMEb,
  author =       "G. A. Mago",
  title =        "A network of microprocessors to execute reduction
                 languages. {II}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "6",
  pages =        "435--471",
  month =        dec,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture)",
  corpsource =   "Dept. of Computer Sci., Univ. of North Carolina,
                 Chapel Hill, NC, USA",
  keywords =     "computer architecture; computer networks; parallel
                 processing; network; microprocessors; reduction
                 languages; cellular processor; unbounded parallelism;
                 user programs; computer architecture",
  treatment =    "P Practical",
}

@Article{Koh:1979:FMS,
  author =       "Hikyoo Koh and Henry Y. H. Chuang",
  title =        "Finding a minimal set of base paths of a program",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "6",
  pages =        "473--488",
  month =        dec,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B05 (68E10)",
  MRnumber =     "81a:68012",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Dept. of Computer Sci., Wichita State Univ., Wichita,
                 KS, USA",
  keywords =     "graph theory; programming theory; minimal set; base
                 paths; program; program digraph; weighted loopfree
                 graph; maximal cutset; eliminable arc; programming
                 theory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kodratoff:1979:CFS,
  author =       "Yves Kodratoff",
  title =        "A class of functions synthesized from a finite number
                 of examples and a {LISP} program scheme",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "6",
  pages =        "489--521",
  month =        dec,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10 (68B10)",
  MRnumber =     "80i:68074",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Inst. de Programmation, CNRS, Paris, France",
  keywords =     "programming theory; functions; finite number of
                 examples; LISP program scheme; pattern matching;
                 programming theory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bochmann:1979:SEC,
  author =       "Gregor V. Bochmann",
  title =        "Semantic equivalence of covering attribute grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "6",
  pages =        "523--539",
  month =        dec,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F20",
  MRnumber =     "81c:68070",
  MRreviewer =   "Gianni Aguzzi",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. d'Informatique et de Recherche Operationnelle,
                 Univ. de Montreal, Montreal, Que., Canada",
  keywords =     "grammars; attribute grammars; equivalence; language
                 specifications; language definition; program
                 verification; language implementation; syntactic
                 coverings",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tou:1979:DDO,
  author =       "Julius T. Tou",
  title =        "{DYNOC}---a dynamic optimal cluster-seeking
                 technique",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "8",
  number =       "6",
  pages =        "541--547",
  month =        dec,
  year =         "1979",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10 (68C05)",
  MRnumber =     "80k:68082",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "computerised pattern recognition; DYNOC; automatic
                 clustering; multivariate data; performance index;
                 optimal clusters; pattern recognition",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tou:1980:AUG,
  author =       "J. T. Tou",
  title =        "An approach to understanding geometrical
                 configurations by computer",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "1",
  pages =        "1--13",
  month =        feb,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "computerised pattern recognition; geometrical
                 configurations; computer; topological transformations;
                 computerised pattern recognition",
  treatment =    "P Practical",
}

@Article{Stephenson:1980:MCB,
  author =       "C. J. Stephenson",
  title =        "A method for constructing binary search trees by
                 making insertions at the root",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "1",
  pages =        "15--29",
  month =        feb,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "IBM Thomas J. Watson Res. Center, Yorktown Heights,
                 NY, USA",
  keywords =     "sorting; trees (mathematics); binary search trees;
                 insertions; sorting; symbol table",
  treatment =    "P Practical",
}

@Article{Maibaum:1980:HOD,
  author =       "T. S. E. Maibaum and Carlos J. Lucena",
  title =        "Higher order data types",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "1",
  pages =        "31--53",
  month =        feb,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15 (68J10)",
  MRnumber =     "81d:68034",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Univ. of Waterloo, Waterloo,
                 Ont., Canada",
  keywords =     "data structures; abstract data type; functionality;
                 query; update functions; data base; higher order data
                 type; data structures",
}

@Article{Chen:1980:FCR,
  author =       "Tsong Yueh Chen",
  title =        "Formalization of correctness of recursive
                 definitions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "1",
  pages =        "55--61",
  month =        feb,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "03D20 (68B10 68C25)",
  MRnumber =     "81g:03047",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Computer Center, Univ. of Hong Kong, Hong Kong",
  keywords =     "programming theory; correctness; recursive
                 definitions; predicate calculus; least fixpoint
                 semantics; programming theory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lemme:1980:AQA,
  author =       "J. M. Lemme and J. R. Rice",
  title =        "Adaptive quadrature algorithms for the {ILLIAC IV}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "1",
  pages =        "63--72",
  month =        feb,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4160 (Numerical integration and differentiation);
                 C4240 (Programming and algorithm theory)",
  corpsource =   "Dept. of Computer Sci., Purdue Univ., Lafayette, IN,
                 USA",
  keywords =     "algorithm theory; integration; adaptive quadrature
                 algorithms; ILLIAC IV; simulation tests; sequential
                 processing; integration",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Shedler:1980:RSM,
  author =       "G. S. Shedler",
  title =        "Response-time simulation of multivariate point process
                 models for multiprogrammed jobstreams",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "2",
  pages =        "73--91",
  month =        apr,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150J (Operating systems)",
  corpsource =   "IBM Res. Lab., San Jose, CA, USA",
  keywords =     "multiprogramming; multivariable systems; multivariate
                 point process models; multiprogrammed jobstreams;
                 discrete random variables; interval estimates; job
                 response times; autoregressive dependency structure;
                 response time simulation",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Townley:1980:PAR,
  author =       "Judy A. Townley",
  title =        "A pragmatic approach to resolution-based theorem
                 proving",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "2",
  pages =        "93--116",
  month =        apr,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G15 (03B35)",
  MRnumber =     "81d:68129",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence)",
  corpsource =   "Center for Res. in Computing Technol., Harvard Univ.,
                 Cambridge, MA, USA",
  keywords =     "system theory; theorem proving; pragmatic approach;
                 resolution based theorem proving",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Yang:1980:AFD,
  author =       "Chao Chih Yang and Charmane P. May",
  title =        "Algorithms for finding directed graph isomorphisms by
                 finite automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "2",
  pages =        "117--140",
  month =        apr,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68E10",
  MRnumber =     "81g:68099",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4220 (Automata
                 theory)",
  corpsource =   "Univ. of Alabama, Birmingham, AL, USA",
  keywords =     "directed graphs; finite automata; directed graph;
                 isomorphisms; finite automata; Moore machines",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Bernorio:1980:QDD,
  author =       "M. Bernorio and M. Bertoni and A. Dabbene and M.
                 Somalvico",
  title =        "Querying databases with a domain-oriented natural
                 language understanding system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "2",
  pages =        "141--159",
  month =        apr,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C4210 (Formal
                 logic)",
  corpsource =   "Politecnico di Milano, Milan, Italy",
  keywords =     "artificial intelligence; grammars; natural language
                 understanding system; DONAU; artificial intelligence;
                 semantic domain; robotics; querying databases; domain
                 oriented system",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Cunha:1980:DSM,
  author =       "P. R. F. Cunha and C. J. Lucena and T. S. E. Maibaum",
  title =        "On the design and specification of message oriented
                 programs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "3",
  pages =        "161--191",
  month =        jun,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Univ. of Waterloo, Waterloo,
                 Ont., Canada",
  keywords =     "data structures; program and system documentation;
                 programming; message oriented programs; data
                 structures; program specification; program
                 implementation; high level language; abstract data
                 type; module strength; module coupling; control
                 structures",
  treatment =    "P Practical",
}

@Article{Cohen:1980:INL,
  author =       "J. Cohen and R. Stachel",
  title =        "An interpreter for a nondeterministic language",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "3",
  pages =        "193--217",
  month =        jun,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150C (Compilers, interpreters and other
                 processors)",
  corpsource =   "Phys. Dept., Brandeis Univ., Waltham, MA, USA",
  keywords =     "program interpreters; interpreter; nondeterministic
                 language; nucleus; computer; recursive procedures;
                 primitive commands; recursive programming; PASCAL; top
                 down description; problem solving",
  treatment =    "P Practical",
}

@Article{Lee:1980:TAC,
  author =       "D. T. Lee and B. J. Schachter",
  title =        "Two algorithms for constructing a {Delaunay}
                 triangulation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "3",
  pages =        "219--242",
  month =        jun,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "52-04 (32B25 68K05)",
  MRnumber =     "81m:52001",
  MRreviewer =   "Wolfgang Boehm",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  keywords =     "topology; Delaunay triangulation; geometric
                 properties; average case performance; divide and
                 conquer; topology",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dhamdhere:1980:CAS,
  author =       "D. M. Dhamdhere and J. R. Isaac",
  title =        "A composite algorithm for strength reduction and code
                 movement optimization",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "3",
  pages =        "243--273",
  month =        jun,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming)",
  corpsource =   "Computer Centre, Indian Inst. of Technol., Bombay,
                 India",
  keywords =     "programming; composite algorithm; strength reduction;
                 code movement optimization; operator strength;
                 subexpression elimination; loop invariant code; global
                 program optimisation",
  treatment =    "P Practical",
}

@Article{Tou:1980:KE,
  author =       "J. T. Tou",
  title =        "Knowledge Engineering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "4",
  pages =        "275--285",
  month =        aug,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7250L (Non-bibliographic retrieval systems)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "information retrieval; information retrieval;
                 information processing; automated knowledge transfer;
                 MEDIKS; decision support system; knowledge
                 engineering",
  treatment =    "A Application",
}

@Article{Arora:1980:WDM,
  author =       "S. K. Arora and K. C. Smith",
  title =        "{WCRL}: a data model independent language for database
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "4",
  pages =        "287--305",
  month =        aug,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140E (Other programming languages); C6160B
                 (Distributed databases)",
  corpsource =   "Dept. of Electrical and Computer Engng., McMaster
                 Univ., Hamilton, Ont., Canada",
  keywords =     "database management systems; distributed processing;
                 programming languages; WCRL; data model independent
                 language; database systems; database systems;
                 distributed database system; data restructuring",
  treatment =    "A Application",
}

@Article{Hart:1980:FRB,
  author =       "Johnson M. Hart",
  title =        "Fast recognition of {Baxter} permutations using
                 syntactical and complete bipartite composite dag's",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "4",
  pages =        "307--321",
  month =        aug,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68E10 (05C20)",
  MRnumber =     "81m:68054",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4210 (Formal
                 logic)",
  corpsource =   "Dept. of Computer Sci., Univ. of Kentucky, Lexington,
                 KY, USA",
  keywords =     "formal languages; graph theory; Baxter permutations;
                 complete bipartite composite dag; digraphs; syntactical
                 graphs; language theory; fast recognition",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Bezdek:1980:SPC,
  author =       "James C. Bezdek and Michael P. Windham and Robert
                 Ehrlich",
  title =        "Statistical parameters of cluster validity
                 functionals",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "4",
  pages =        "323--336",
  month =        aug,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10 (03E72 62H30 92A05 92A27)",
  MRnumber =     "82a:68166",
  MRreviewer =   "Abraham Kandel",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1140Z (Other topics in statistics); C1160
                 (Combinatorial mathematics); C1250 (Pattern
                 recognition)",
  corpsource =   "Math. Dept., Utah State Univ., Logan, UT, USA",
  keywords =     "fuzzy set theory; pattern recognition; statistical
                 analysis; cluster validity functionals; mean; variance;
                 classification entropy; partition coefficients; fuzzy
                 c-partitions; finite data sets; monotonicity;
                 statistical tests",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Cutler:1980:UPI,
  author =       "Robert B. Cutler and Saburo Muroga",
  title =        "Useless prime implicants of incompletely specified
                 multiple-output switching functions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "4",
  pages =        "337--350",
  month =        aug,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "94C10",
  MRnumber =     "81m:94031",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230 (Switching theory)",
  corpsource =   "Dept. of Computer Sci., Univ. of Illinois, Urbana, IL,
                 USA",
  keywords =     "switching functions; prime implicants; multiple-output
                 switching functions; minimal sum representation",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Putkonen:1980:OMO,
  author =       "Anne Putkonen",
  title =        "The order of merging operations for queries in
                 inverted file systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "5",
  pages =        "351--369",
  month =        oct,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68H05",
  MRnumber =     "82b:68085",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Univ. of Turku, Turku,
                 Finland",
  keywords =     "file organisation; information retrieval; merging
                 operations; queries; inverted file systems; Boolean
                 expressions; address lists; search logic; CPU time;
                 heuristic algorithm; intersections",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Veloso:1980:CRP,
  author =       "Paulo A. S. Veloso",
  title =        "Characterizations for the regular prefix codes and
                 related families",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "5",
  pages =        "371--382",
  month =        oct,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F05 (94B45)",
  MRnumber =     "83e:68121",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory)",
  corpsource =   "Dept. de Informatica, Pontificia Univ. Catolica, Rio
                 de Janeiro, Brazil",
  keywords =     "finite automata; formal languages; regular prefix
                 codes; related families; regular languages; finite
                 automata",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Maekawa:1980:CPC,
  author =       "M. Maekawa",
  title =        "A classification of process coordination schemes in
                 descriptive power",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "5",
  pages =        "383--406",
  month =        oct,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6150J
                 (Operating systems)",
  corpsource =   "Dept. of Information Sci., Univ. of Tokyo, Tokyo,
                 Japan",
  keywords =     "operating systems (computers); systems analysis;
                 classification; process coordination schemes;
                 descriptive power; operating system; designers; process
                 synchronization; mutual exclusions; logical conditions;
                 multiplexing; deadlock prevention; event occurrences",
  treatment =    "A Application",
}

@Article{Ng:1980:DIS,
  author =       "Peter A. Ng and Lun Tsai",
  title =        "The design and implementation of a scheme for large
                 ordered indices",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "5",
  pages =        "407--434",
  month =        oct,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15 (68H05)",
  MRnumber =     "82b:68016",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6120 (File organisation);
                 C6130 (Data handling techniques)",
  corpsource =   "Dept. of Computer Sci., Univ. of Missouri, Columbia,
                 MO, USA",
  keywords =     "codes; file organisation; trees (mathematics); design;
                 large ordered indices; keys; storage space; storage
                 structure design; key redundancy; interruption; key
                 compression; hierarchical tree structure; indexed
                 sequential files",
  treatment =    "A Application",
}

@Article{Dujmovic:1980:CSC,
  author =       "J. J. Dujmovic",
  title =        "Computer selection and criteria for computer
                 performance evaluation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "6",
  pages =        "435--458",
  month =        dec,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5420 (Mainframes and minicomputers)",
  corpsource =   "Dept. of Computer and Information Sci., Univ. of
                 Florida, Gainesville, FL, USA",
  keywords =     "computer selection and evaluation; computer
                 performance evaluation; comparison; selection; decision
                 process; worth indicators; synthetic benchmark
                 programs; monoprogramming; multiprogramming",
  treatment =    "A Application",
}

@Article{Moyne:1980:LUP,
  author =       "J. A. Moyne",
  title =        "Language use: a performance model",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "6",
  pages =        "459--481",
  month =        dec,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence)",
  corpsource =   "Dept. of Computer Sci., Queens Coll., City Univ. of
                 New York, New York, NY, USA",
  keywords =     "artificial intelligence; linguistics; language use;
                 performance; language understanding; human language
                 comprehension; artificial intelligence models",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Charnes:1980:CCS,
  author =       "A. Charnes and W. W. Cooper and S. Duffuaa and M.
                 Kress",
  title =        "Complexity and computability of solutions to linear
                 programming systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "9",
  number =       "6",
  pages =        "483--506",
  month =        dec,
  year =         "1980",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "90C05",
  MRnumber =     "83e:90082",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques); C4210 (Formal
                 logic); C4240 (Programming and algorithm theory)",
  corpsource =   "Univ. of Texas, Austin, TX, USA",
  keywords =     "computability and decidability; computational
                 complexity; linear programming; computability; linear
                 programming systems; complexity; polynomial; interval
                 programming",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Boyles:1981:EAT,
  author =       "Stephanie M. Boyles and Gerhard X. Ritter",
  title =        "The encoding of arbitrary two-dimensional geometric
                 configurations",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "1",
  pages =        "1--25",
  month =        feb,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "52-04 (51-04 68K05)",
  MRnumber =     "83a:52001",
  MRreviewer =   "S. Amarel",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes); C1260 (Information theory); C6130
                 (Data handling techniques)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "encoding; topology; oriented simplexes; coherently
                 oriented simplicial complexes; triangulation;
                 simplicial sentence; two-dimensional geometric
                 configurations; topology; encoding; octagonal chain
                 encoding; arbitrary curves; computing equipment",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Huang:1981:NTW,
  author =       "C. H. Huang and F. J. Taylor",
  title =        "A new technique for {WFTA} input\slash output
                 reordering",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "1",
  pages =        "27--37",
  month =        feb,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5230 (Digital arithmetic methods)",
  corpsource =   "Lockheed Palo Alto Res. Lab., Lockheed Missiles and
                 Space Co. Inc., Palo Alto, CA, USA",
  keywords =     "digital arithmetic; fast Fourier transforms; number
                 theoretic transform; residual arithmetic; Chinese
                 remainder theorem; FFT; WFTA; input/output reordering;
                 Winograd Fourier transform algorithm; transform;
                 multiplication count; base numbers; digital hardware;
                 RNS",
  treatment =    "T Theoretical or Mathematical",
}

@Article{DiSanto:1981:EIR,
  author =       "M. {Di Santo} and L. Nigro and W. Russo",
  title =        "On the efficient implementation of retention
                 block-structured languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "1",
  pages =        "39--54",
  month =        feb,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150J (Operating systems)",
  corpsource =   "Dipartimento Elettrico, Univ. della Calabria, Cosenza,
                 Italy",
  keywords =     "storage management; retention block-structured
                 languages; deletion-retention contour machine; DRCM;
                 retention strategy; garbage compaction algorithm;
                 garbage collector; deletion strategy; LWS program;
                 stack machine; lifetime checks; dangling references;
                 nonlocal gotos",
  treatment =    "P Practical",
}

@Article{Farley:1981:PTM,
  author =       "Arthur Farley and Stephen Hedetniemi and Andrzej
                 Proskurowski",
  title =        "Partitioning trees: matching, domination, and maximum
                 diameter",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "1",
  pages =        "55--61",
  month =        feb,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68C05 (05C05 05C70 68E10)",
  MRnumber =     "83a:68033",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Dept. of Computer and Information Sci., Univ. of
                 Oregon, Eugene, OR, USA",
  keywords =     "graph theory; partitioning trees; matching;
                 domination; maximum diameter; diameter-bounded subtree;
                 associate partitions; NP-complete",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kobayashi:1981:EQB,
  author =       "I. Kobayashi",
  title =        "Evaluation of queries based on the extended relational
                 calculi",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "2",
  pages =        "63--103",
  month =        apr,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques); C6160D (Relational
                 databases); C7250 (Information storage and retrieval)",
  corpsource =   "SANNO Inst. of Business Administration, Kanagawa,
                 Japan",
  keywords =     "calculus; database management systems; information
                 retrieval; optimisation; queries; extended relational
                 calculi; database search algorithm; logical function;
                 target list; sequential collation; optimization",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Jappinen:1981:SFR,
  author =       "H. Jappinen",
  title =        "Sense-controlled flexible robot behavior",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "2",
  pages =        "105--125",
  month =        apr,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C3355 (Control
                 applications in manufacturing processes)",
  corpsource =   "Digital Systems Lab., Helsinki Univ. of Technol.,
                 Espoo, Finland",
  keywords =     "artificial intelligence; industrial robots; robots;
                 sense-controlled robot; industrial robots; flexible
                 robot behavior; artificial intelligence; skills; human
                 teacher; advice-taking mode; execution mode",
  treatment =    "A Application",
}

@Article{Proskurowski:1981:MDC,
  author =       "Andrzej Proskurowski and Maciej M. Sys{\l}o",
  title =        "Minimum dominating cycles in outerplanar graphs",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "2",
  pages =        "127--139",
  month =        apr,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "05C38 (05C10 68C25)",
  MRnumber =     "83b:05083",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics)",
  corpsource =   "Dept. of Computer and Information Sci., Univ. of
                 Oregon, Eugene, OR, USA",
  keywords =     "graph theory; dominating cycles; outerplanar graphs;
                 minimum size; planar graphs; plane embedding",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Yager:1981:ARP,
  author =       "Ronald R. Yager",
  title =        "Approximate reasoning and possibilistic models in
                 classification",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "2",
  pages =        "141--175",
  month =        apr,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10",
  MRnumber =     "83b:68096",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1140Z (Other topics in statistics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Machine Intelligence Inst., Iona Coll., New Rochelle,
                 NY, USA",
  keywords =     "fuzzy set theory; probability; possibilistic models;
                 classification; approximate reasoning; fuzzy sets",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Leipala:1981:DOI,
  author =       "T. Leipala",
  title =        "On the design of one-level indexed sequential files",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "3",
  pages =        "177--186",
  month =        jun,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation)",
  keywords =     "file organisation; probability; systems analysis;
                 indexed sequential files; optimal design; one-level
                 indexed sequential files; probabilities; records;
                 continuous approximation",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Arora:1981:GID,
  author =       "Sudhir K. Arora and K. C. Smith",
  title =        "A graphical interpretation of dependency structures in
                 relational data bases",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "3",
  pages =        "187--213",
  month =        jun,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68H05 (68B15)",
  MRnumber =     "83i:68145",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C6120 (File
                 organisation); C6160D (Relational databases)",
  keywords =     "data structures; database management systems; graph
                 theory; graphical interpretation; dependency
                 structures; relational data bases; semantic situations;
                 graph theory; S-diagram; automatic constraint checking;
                 damaged data base",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Lewis:1981:STM,
  author =       "F. D. Lewis",
  title =        "Stateless {Turing} machines and fixed points",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "3",
  pages =        "215--218",
  month =        jun,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "03D10 (03D15 68C40)",
  MRnumber =     "84a:03042",
  MRreviewer =   "Andreas Brandst{\"a}dt",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory); C4240 (Programming and
                 algorithm theory)",
  keywords =     "computational complexity; iterative methods; Turing
                 machines; fixed points; iteration theorem;
                 subelementary; stateless Turing machines; recursion
                 theorems; subrecursively; computational complexity",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Sarda:1981:CAD,
  author =       "N. L. Sarda and J. R. Isaac",
  title =        "Computer aided design of database internal schema",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "4",
  pages =        "219--234",
  month =        aug,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation); C6160 (Database management systems
                 (DBMS)); C7430 (Computer engineering)",
  corpsource =   "Computer Centre, Indian Inst. of Technol., Bombay,
                 India",
  keywords =     "data structures; database management systems; systems
                 analysis; virtual machines; computer aided design; data
                 structures; database internal schema; design; database
                 systems",
  treatment =    "P Practical",
}

@Article{Arora:1981:GNF,
  author =       "S. K. Arora and K. C. Smith",
  title =        "Graphical normal forms based on root dependencies in
                 relational data base systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "4",
  pages =        "235--259",
  month =        aug,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6160D
                 (Relational databases)",
  corpsource =   "Dept. of Electrical and Computer Engng., Wayne State
                 Univ., Detroit, MI, USA",
  keywords =     "database management systems; systems analysis;
                 graphical normal forms; root dependencies; relational
                 data base systems; dependencies; normal forms;
                 hypergraphs; S-diagrams",
  treatment =    "P Practical",
}

@Article{Arora:1981:TN,
  author =       "S. K. Arora and S. R. Dumpala",
  title =        "Theta-join and normalization",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "4",
  pages =        "261--281",
  month =        aug,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6160D
                 (Relational databases)",
  corpsource =   "Dept. of Electrical and Computer Engng., Wayne State
                 Univ., Detroit, MI, USA",
  keywords =     "database management systems; systems analysis;
                 normalization; dependency theory; logical design;
                 relational data bases; union; splitting; theta-join",
  treatment =    "P Practical",
}

@Article{Guida:1981:EPS,
  author =       "G. Guida",
  title =        "An effective preprocessor for structured {FORTRAN}:
                 the {HENTRAN} system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "4",
  pages =        "283--297",
  month =        aug,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6140D
                 (High level languages); C6150C (Compilers, interpreters
                 and other processors)",
  corpsource =   "Milan Polytech. Artificial Intelligence Project,
                 Milan, Italy",
  keywords =     "high level languages; program interpreters; program
                 processors; structured programming; preprocessor;
                 structured FORTRAN; HENTRAN; structured programming;
                 translator; reliability; portability; efficiency",
  treatment =    "P Practical",
}

@Article{dosSantos:1981:CMD,
  author =       "C. S. {dos Santos} and T. S. E. Maibaum and A. L.
                 Furtado",
  title =        "Conceptual modeling of data base operations",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "5",
  pages =        "299--314",
  month =        oct,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6160
                 (Database management systems (DBMS))",
  corpsource =   "Univ. Federal do Rio Grande do Sul, Porto Alegre,
                 Brazil",
  keywords =     "database management systems; programming theory;
                 theorem proving; conceptual modelling; data base
                 operations; predicate calculus; update; query; theorem
                 proving",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Bhargava:1981:OSI,
  author =       "B. Bhargava and L. Lilien",
  title =        "On optimal scheduling of integrity assertions in a
                 transaction processing system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "5",
  pages =        "315--330",
  month =        oct,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160 (Database management systems (DBMS))",
  corpsource =   "Dept. of Computer Sci., Univ. of Pittsburgh,
                 Pittsburgh, PA, USA",
  keywords =     "database management systems; scheduling; DBMS; optimal
                 scheduling; integrity assertions; transaction
                 processing system; predicates; database values;
                 compile-time; run-time; post-execution validations",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{H:1981:CPL,
  author =       "H. J{\"u}rgensen and D. E. Matthews and D. Wood",
  title =        "Cut point languages of {Markov DTOL} systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "5",
  pages =        "331--340",
  year =         "1981",
  MRclass =      "68F05 (68D22)",
  MRnumber =     "83c:68094",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Jurgensen:1981:CPL,
  author =       "H. Jurgensen and D. E. Matthews and D. Wood",
  title =        "Cut point languages of {Markov DTOL} systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "5",
  pages =        "331--340",
  month =        oct,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1140Z (Other topics in statistics); C4210 (Formal
                 logic)",
  corpsource =   "Inst. fur Theoretische Informatik, Tech. Hochschule
                 Darmstadt, Darmstadt, West Germany",
  keywords =     "formal languages; grammars; Markov processes; Markov
                 DTOL languages; cut point; classification; DDTOL
                 languages",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Zaki:1981:MBM,
  author =       "M. Zaki",
  title =        "Magnetic bubble memory structures for relational
                 database management systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "5",
  pages =        "341--358",
  month =        oct,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5320E (Storage on stationary magnetic media); C6120
                 (File organisation); C6130 (Data handling techniques);
                 C6160D (Relational databases)",
  corpsource =   "Dept. of Electrical Engng., Univ. of Suez Canal, Port
                 Said, Egypt",
  keywords =     "data handling; data structures; database management
                 systems; magnetic storage; relational database
                 management systems; logical operations; records
                 permutation; sorting; searching; magnetic bubble
                 memory; loops",
  treatment =    "P Practical",
}

@Article{Bhargava:1981:CAR,
  author =       "B. Bhargava and C. Hua",
  title =        "Cost analysis of recovery block scheme and its
                 implementation issues",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "6",
  pages =        "359--382",
  month =        dec,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0310F (Software development management); C6150G
                 (Diagnostic, testing, debugging and evaluating
                 systems)",
  corpsource =   "Dept. of Computer Sci., Univ. of Pittsburgh, PA, USA",
  keywords =     "software engineering; system recovery; software
                 reliability; system failure and recovery; software
                 engineering; recovery block scheme; cost analysis;
                 selection criterion; software granularity; perfect
                 acceptance tests; performance evaluation measures;
                 cost-reliability index; cost of failure; real-time
                 applications",
  treatment =    "E Economic; P Practical",
}

@Article{Zaki:1981:QCH,
  author =       "A. S. Zaki and J. L. Baer",
  title =        "Query costs in {HB(1)} trees versus $2$-$3$ trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "6",
  pages =        "383--395",
  month =        dec,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C7250L (Non-bibliographic
                 retrieval systems)",
  corpsource =   "Coll. of William and Mary, Williamsburg, VA, USA",
  keywords =     "data structures; information retrieval; trees
                 (mathematics); query costs; information retrieval;
                 HB(1) trees; 2-3 trees; random AVL trees; data
                 structures; main storage; node visits; key
                 comparisons",
  treatment =    "P Practical",
}

@Article{Murty:1981:HCP,
  author =       "M. N. Murty and G. Krishna",
  title =        "A hybrid clustering procedure for concentric and
                 chain-like clusters",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "6",
  pages =        "397--412",
  month =        dec,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "School of Automation, Indian Inst. of Sci., Bangalore,
                 India",
  keywords =     "data handling; partitioning; relabeling;
                 representative samples; data handling; hybrid
                 clustering procedure; chain-like clusters;
                 nonhierarchical method; isotropic clusters; storage
                 requirements; initial seed points; K-means algorithm;
                 input data order; multilevel theory; concentric
                 clusters",
  treatment =    "P Practical",
}

@Article{Shapiro:1981:NLS,
  author =       "Marvin Shapiro",
  title =        "A note on {Lee} and {Schachter}'s algorithm for
                 {Delaunay} triangulation",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "10",
  number =       "6",
  pages =        "413--418",
  month =        dec,
  year =         "1981",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "52-04",
  MRnumber =     "83k:52002",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Div. of Computer Res. and Technol., Nat. Inst. of
                 Health, Bethesda, MD, USA",
  keywords =     "graph theory; Voronoi tesselation; Dirichlet
                 tesselation; graph theory; Delaunay triangulation;
                 convex hull",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tai:1982:ICC,
  author =       "J. W. Tai and K. S. Fu",
  title =        "Inference of a class of {CFPG} by means of semantic
                 rules",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "1",
  pages =        "1--23",
  month =        feb,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F05",
  MRnumber =     "83g:68113",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Inst. of Automation, Acad. of Sci., Beijing, China",
  keywords =     "context-free grammars; control diagram; grammatical
                 inference; CFPG; semantic rules; context-free
                 programmed grammars; syntactic pattern recognition;
                 binary tree; subtrees; semantic rules;
                 maximum-likelihood estimate",
  treatment =    "P Practical",
}

@Article{Giloi:1982:CRH,
  author =       "W. K. Giloi and R. Gueth",
  title =        "Concepts and realization of a high-performance data
                 type architecture",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "1",
  pages =        "25--54",
  month =        feb,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture); C6120 (File
                 organisation)",
  corpsource =   "Fachbereich Informatik, Tech. Univ. of Berlin, Berlin,
                 West Germany",
  keywords =     "computer architecture; data structures; quality
                 software; run time checking; high-performance data type
                 architecture; data structures; abstract data types;
                 structured machine data type; hardware structure;
                 strongly coupled asymmetric multicomputer system;
                 vector-structured basic machine data type; SIMD; fifth
                 generation computer architecture",
  treatment =    "P Practical",
}

@Article{Stout:1982:SEI,
  author =       "Quentin F. Stout",
  title =        "Searching and encoding for infinite ordered sets",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "1",
  pages =        "55--72",
  month =        feb,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68E05",
  MRnumber =     "84i:68107",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Math. Sci., State Univ. of New York, Binghamton, NY,
                 USA",
  keywords =     "table lookup; table lookup; encoding; infinite ordered
                 sets; binary search algorithms; binary prefix
                 encodings; search-related codes",
  treatment =    "P Practical",
}

@Article{Thomason:1982:SST,
  author =       "M. G. Thomason",
  title =        "Syntactic\slash semantic techniques in pattern
                 recognition: a survey",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "2",
  pages =        "75--100",
  month =        apr,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Dept. of Computer Sci., Univ. of Tennessee, Knoxville,
                 TN, USA",
  keywords =     "pattern recognition; automata; formal languages;
                 semantics; stochastic systems; syntax; pattern
                 recognition; grammatical inferrence; probabilistic
                 models; syntactic error-correction; grammars;
                 attributes",
}

@Article{Hooper:1982:SS,
  author =       "J. W. Hooper and K. D. Reilly",
  title =        "Simulation strategies",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "2",
  pages =        "101--122",
  month =        apr,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140D (High level languages); C7400 (Engineering
                 computing)",
  corpsource =   "Computer Sci. Dept., Univ. of Alabama, Huntsville, AL,
                 USA",
  keywords =     "digital simulation; simulation languages; simulation
                 languages; Simulation strategies; time control
                 procedure; timing management; next event selection;
                 event scheduling; activity scanning; process
                 interaction",
  treatment =    "P Practical",
}

@Article{Alia:1982:SNF,
  author =       "G. Alia and E. Martinelli",
  title =        "On switching network functionalities and their
                 relationships",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "2",
  pages =        "123--138",
  month =        apr,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4230 (Switching theory); C5220 (Computer
                 architecture)",
  corpsource =   "Istituto di Elaborazione dell'Informazione, CNR, Pisa,
                 Italy",
  keywords =     "computer architecture; switching functions;
                 multiprocessor systems; resource allocation; switching
                 network functionalities; telephone applications;
                 circuit switching networks; computer architecture;
                 inclusion; composition; specularity",
  treatment =    "P Practical",
}

@Article{Remy:1982:CDT,
  author =       "J.-L. R{\'e}my and P. A. S. Veloso",
  title =        "Comparing data type specifications via their normal
                 forms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "3",
  pages =        "141--153",
  month =        jun,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15",
  MRnumber =     "83m:68042",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "CRIN, Nancy, France",
  keywords =     "data structures; data type specifications; normal
                 forms; abstract data type; isomorphic initial
                 algebras",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ottman:1982:CID,
  author =       "Th. Ottman and D. Wood",
  title =        "A comparison of iterative and defined classes of
                 search trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "3",
  pages =        "155--178",
  year =         "1982",
  MRclass =      "68E05",
  MRnumber =     "83m:68113",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Ottmann:1982:CID,
  author =       "Th. Ottmann and D. Wood",
  title =        "A comparison of iterative and defined classes of
                 search trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "3",
  pages =        "155--178",
  month =        jun,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  keywords =     "data structures; trees (mathematics); iterative;
                 search trees; iteratively defined classes",
  treatment =    "T Theoretical or Mathematical",
  xxauthor =     "Th. Ottman and D. Wood",
}

@Article{Grant:1982:OES,
  author =       "John Grant and Jack Minker",
  title =        "On optimizing the evaluation of a set of expressions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "3",
  pages =        "179--191",
  month =        jun,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68H05 (68C20)",
  MRnumber =     "83m:68165",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6160D (Relational
                 databases)",
  corpsource =   "Towson State Univ., Towson, MD, USA",
  keywords =     "Boolean algebra; database management systems;
                 optimisation; database queries; set of expressions;
                 branch-and-bound type algorithm; relational
                 expressions; heuristic information; Boolean
                 optimization",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Brody:1982:PUA,
  author =       "E. J. Brody",
  title =        "A procedure for the unsupervised abduction of
                 linguistic distributional classes in probabilistic
                 languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "3",
  pages =        "193--210",
  month =        jun,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F15 (68D27 68G05)",
  MRnumber =     "83m:68148",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory)",
  corpsource =   "Dept. of Math. Engng. and Instrumentation Phys., Univ.
                 of Tokyo, Tokyo, Japan",
  keywords =     "computational linguistics; finite automata; formal
                 languages; unsupervised abduction; linguistic
                 distributional classes; probabilistic languages; word
                 distributional equivalence; syntactic distributional
                 classes; computational procedure",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Xu:1982:PSC,
  author =       "Jian Hua Xu and Julius T. Tou",
  title =        "Predictive searching for chain encoding by computers",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "4",
  pages =        "213--229",
  month =        aug,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10 (92A10)",
  MRnumber =     "84b:68133",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7410F (Communications computing)",
  corpsource =   "Center for Information Res., Univ. of Florida,
                 Gainesville, FL, USA",
  keywords =     "computerised pattern recognition; computerised pattern
                 recognition; chain encoding; computers; curve;
                 predictive searching; optimal code direction; minimum
                 mean-square-error; overlapping; crossing; touching;
                 computer analysis; chromosomes",
  treatment =    "P Practical",
}

@Article{Barnard:1982:HSE,
  author =       "David T. Barnard and Richard C. Holt",
  title =        "Hierarchic syntax error repair for {LR} grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "4",
  pages =        "231--258",
  month =        aug,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F25 (68B10)",
  MRnumber =     "84b:68113",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6150C (Compilers,
                 interpreters and other processors)",
  corpsource =   "Computer Systems Res. Group, Univ. of Toronto,
                 Toronto, Ont., Canada",
  keywords =     "grammars; program compilers; syntax error repair; LR
                 grammars; compilers; hierarchic error repair; parser",
  treatment =    "P Practical",
}

@Article{Voukalis:1982:RCO,
  author =       "D. C. Voukalis",
  title =        "Remarks concerning the optimization of matrix codes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "4",
  pages =        "259--273",
  month =        aug,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes)",
  keywords =     "error correction codes; parallelotope; parity check;
                 optimization; matrix codes; systematic binary error
                 correcting codes; digital channels",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ras:1982:AAI,
  author =       "Z. W. Ras",
  title =        "An algebraic approach to information retrieval
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "4",
  pages =        "275--293",
  month =        aug,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C7250L (Non-bibliographic retrieval systems)",
  corpsource =   "Dept. of Math., Univ. of North Carolina, Charlotte,
                 NC, USA",
  keywords =     "information retrieval systems; information retrieval
                 systems; requests; objects; partially ordered set;
                 Boolean algebra; retrieval methods; mathematical
                 pictoriality",
  treatment =    "P Practical",
}

@Article{W:1982:AAI,
  author =       "Zbigniew W. Ra{\'s}",
  title =        "An algebraic approach to information retrieval
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "4",
  pages =        "275--293",
  year =         "1982",
  MRclass =      "68H05",
  MRnumber =     "84b:68139",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Veloso:1982:MSA,
  author =       "P. A. S. Veloso",
  title =        "Methodical specification of abstract data types via
                 rewriting systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "5",
  pages =        "295--323",
  month =        oct,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15",
  MRnumber =     "84f:68020",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation)",
  corpsource =   "Dept. Informatica, Pontificia Univ. Catolica, Rio de
                 Janeiro, Brazil",
  keywords =     "data structures; programming; programming; data
                 structures; abstract data types; rewriting systems;
                 formal specification",
  treatment =    "P Practical",
}

@Article{Chang:1982:FAD,
  author =       "Shi Kuo Chang and An Chi Liu",
  title =        "File allocation in a distributed database",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "5",
  pages =        "325--340",
  month =        oct,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68B15 (68H05 90B10)",
  MRnumber =     "84f:68015",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6160B (Distributed
                 databases)",
  corpsource =   "Dept. of Electrical Engng., Illinois Inst. of
                 Technol., Chicago, IL, USA",
  keywords =     "database management systems; distributed processing;
                 file organisation; distributed database; file
                 allocation problem; concurrency control cost; optimal
                 solution; network flow problem",
  treatment =    "P Practical",
}

@Article{Pawlak:1982:RS,
  author =       "Zdzis{\l}aw Pawlak",
  title =        "Rough sets",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "5",
  pages =        "341--356",
  month =        oct,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G99 (03E72)",
  MRnumber =     "84f:68077",
  bibdate =      "Wed Nov 01 08:48:45 2000",
  acknowledgement = ack-nhfb,
  classification = "B0250 (Combinatorial mathematics); C1160
                 (Combinatorial mathematics)",
  corpsource =   "Inst. of Computer Sci., Polish Acad. of Sci., Warsaw,
                 Poland",
  keywords =     "set theory; AI; classification; set theory; cluster
                 analysis; learning algorithms; measurement theory;
                 pattern recognition; approximate operations; sets;
                 fuzzy sets theory; tolerance theory",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hassen:1982:ESD,
  author =       "J. V. Hassen and W. F. {Messier, Jr.}",
  title =        "Expert systems for decision support in {EDP}
                 auditing",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "5",
  pages =        "357--379",
  month =        oct,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0310 (EDP management); C1230 (Artificial
                 intelligence); C7190 (Other fields of business and
                 administrative computing)",
  corpsource =   "Brigham Young Univ., Provo, UT, USA",
  keywords =     "artificial intelligence; DP management; management
                 information systems; MIS; EDP management; decision
                 support; EDP auditing; computer auditing; artificial
                 intelligence; expert systems",
  treatment =    "A Application",
}

@Article{Motzkin:1982:EES,
  author =       "Dalia Motzkin and Christina L. Hansen",
  title =        "An efficient external sorting with minimal space
                 requirement",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "6",
  pages =        "381--396",
  month =        dec,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P10",
  MRnumber =     "703 945",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Computer Sci., Western Michigan Univ.,
                 Kalamazoo, MI, USA",
  keywords =     "sorting; quicksort; external sorting; minimal space
                 requirement; passes; disk space; internal storage",
  treatment =    "P Practical",
}

@Article{Ewa:1982:RTI,
  author =       "Ewa Or{\l}owska",
  title =        "Representation of temporal information",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "6",
  pages =        "397--408",
  year =         "1982",
  MRclass =      "03B45 (68Q60)",
  MRnumber =     "85e:03046",
  MRreviewer =   "Joseph Y. Halpern",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Orlowska:1982:RTI,
  author =       "E. Orlowska",
  title =        "Representation of temporal information",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "6",
  pages =        "397--408",
  month =        dec,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6160 (Database management
                 systems (DBMS))",
  corpsource =   "Inst. of Computer Sci., Polish Acad. of Sci.,
                 Warszawa, Poland",
  keywords =     "database management systems; formal languages; DBMS;
                 temporal information; logic formalism; assertion;
                 objects; Pawlak's information system",
  treatment =    "P Practical",
}

@Article{Lee:1982:EAF,
  author =       "Edward T. Lee",
  title =        "An efficient algorithm for finding {Kleene} closure of
                 regular expression matrices",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "6",
  pages =        "409--415",
  month =        dec,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68F10",
  MRnumber =     "84i:68140",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1110 (Algebra); C1250 (Pattern
                 recognition); C4220 (Automata theory)",
  corpsource =   "Dept. of Math. Sci., Memphis State Univ., Memphis, TN,
                 USA",
  keywords =     "automata theory; matrix algebra; pattern recognition;
                 efficient algorithm; Kleene closure; regular expression
                 matrices; fuzzy regular expression matrices; automata
                 theory; pattern recognition; pictorial information
                 systems",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lin:1982:CPT,
  author =       "Wei Chung Lin and King Sun Fu",
  title =        "Conversion and parsing of tree transducers for
                 syntactic pattern analysis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "11",
  number =       "6",
  pages =        "417--458",
  month =        dec,
  year =         "1982",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68G10 (68F25)",
  MRnumber =     "84i:68155",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition); C4210 (Formal
                 logic); C4220 (Automata theory)",
  corpsource =   "School of Electrical Engng., Purdue Univ., Lafayette,
                 IN, USA",
  keywords =     "automata theory; grammars; picture processing; picture
                 processing; grammars; automata theory; parsing; tree
                 transducers; syntactic pattern analysis; finite state
                 transformation; top-down backtrack parsing algorithm;
                 minimum distance structure-preserved error-correcting
                 tree automaton; human motion",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Barrero:1983:RLT,
  author =       "A. Barrero and M. G. Thomason and R. C. Gonzalez",
  title =        "Regular-like tree expressions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "1",
  pages =        "1--11",
  year =         "1983",
  MRclass =      "68F05",
  MRnumber =     "84m:68058",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Barrero:1983:RTE,
  author =       "A. Barrero and M. G. Thomason and R. C. Gonzalez",
  title =        "Regular-like tree expressions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "1",
  pages =        "1--121",
  month =        feb,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4210 (Formal
                 logic)",
  corpsource =   "Dept. of Electrical Engng., Univ. of Tennessee,
                 Knoxville, TN, USA",
  keywords =     "context-free languages; trees (mathematics); chemistry
                 grammars; context-free languages; one-to-one
                 correspondence; expansive tree languages; expansive
                 tree grammar; regular-like tree; regularity-preserving
                 transformations",
  treatment =    "P Practical",
}

@Article{Zaki:1983:CST,
  author =       "A. S. Zaki",
  title =        "A comparative study of $2$-$3$ trees and {AVL} trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "1",
  pages =        "13--33",
  month =        feb,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Coll. of William and Mary, Williamsburg, VA, USA",
  keywords =     "data structures; trees (mathematics); query cost;
                 storage cost; 2-3 trees; AVL trees; space complexity;
                 top-down insertion; construction; data structure",
  treatment =    "P Practical",
}

@Article{Hansen:1983:SME,
  author =       "J. V. Hansen and W. F. {Messier, Jr.}",
  title =        "Scheduling the monitoring of {EDP} controls in online
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "1",
  pages =        "35--46",
  month =        feb,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C0310B (Computer facilities); C7100 (Business and
                 administration)",
  corpsource =   "Brigham Young Univ., Provo, UT, USA",
  keywords =     "administrative data processing; DP management;
                 scheduling; ADP; EDP controls; online systems; internal
                 control; financial reporting; operational
                 effectiveness; computer applications; database
                 management systems; distributed networks; online
                 processing; audit modules; monitoring; systems design",
  treatment =    "P Practical",
}

@Article{Srimani:1983:SWN,
  author =       "P. K. Srimani and B. P. Sinha",
  title =        "A simple way to near minimization of microprogram
                 control memory",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "1",
  pages =        "47--64",
  month =        feb,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture); C6110 (Systems
                 analysis and programming)",
  corpsource =   "Indian Inst. of Management Calcutta, Calcutta, India",
  keywords =     "microprogramming; feasible cost; maximal compatible
                 class; minimization; microprogram control memory;
                 microprogrammed digital computer; dynamic
                 microprogramming; ROM; WCS minimization; reduction
                 methodology",
  treatment =    "P Practical",
}

@Article{Bradley:1983:AAR,
  author =       "James Bradley",
  title =        "Application of {SQL/N} to the attribute-relation
                 associations implicit in functional dependencies",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "2",
  pages =        "65--86",
  year =         "1983",
  MRclass =      "68B15 (68H05)",
  MRnumber =     "84m:68011",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Bradley:1983:ASA,
  author =       "J. Bradley",
  title =        "Application of {SQL/N} to the attribute-relation
                 associations implicit in functional dependencies",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "2",
  pages =        "65--86",
  month =        apr,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140D (High level languages); C6160D (Relational
                 databases); C7250 (Information storage and retrieval)",
  corpsource =   "Univ. of Calgary, Alta., Canada",
  keywords =     "database management systems; high level languages;
                 information retrieval; retrieval language; DBMS; high
                 level languages; SQL/N; attribute-relation
                 associations; functional dependencies; expressive
                 nonprocedural data base language; natural quantifiers",
  treatment =    "P Practical",
}

@Article{Lee:1983:FCH,
  author =       "D. T. Lee",
  title =        "On finding the convex hull of a simple polygon",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "2",
  pages =        "87--98",
  month =        apr,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05 (52-04)",
  MRnumber =     "85a:68169",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4240
                 (Programming and algorithm theory)",
  corpsource =   "Dept. of Electrical Engng. and Computer Sci.,
                 Northwestern Univ., Evanston, IL, USA",
  keywords =     "algorithm theory; topology; computational geometry;
                 topology; algorithm theory; convex hull; simple
                 polygon; linear time algorithm; stack",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Badii:1983:AMP,
  author =       "F. Badi'i and B. Peikari",
  title =        "Approximation of multipath planar shapes in pattern
                 analysis",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "2",
  pages =        "99--110",
  month =        apr,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1250 (Pattern recognition)",
  corpsource =   "Southern Methodist Univ., Dallas, TX, USA",
  keywords =     "function approximation; pattern recognition; edge
                 detection; feature extraction; multipath planar shapes;
                 pattern analysis; multipath approximation;
                 two-dimensional images; functional approximation;
                 multipath curves",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hooper:1983:GCG,
  author =       "J. W. Hooper and K. D. Reilly",
  title =        "The {GPSS-GASP} combined ({GGC}) system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "2",
  pages =        "111--136",
  month =        apr,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140D (High level languages)",
  corpsource =   "Computer Sci. Dept., Univ. of Alabama, Huntsville, AL,
                 USA",
  keywords =     "simulation languages; GPSS; GASP; discrete event
                 simulation languages; GASP IV; SLAM; discrete event
                 modeling; GGC",
  treatment =    "P Practical",
}

@Article{Brody:1983:TFL,
  author =       "E. J. Brody",
  title =        "A topological formulation of linguistic typology",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "3",
  pages =        "137--150",
  month =        jun,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q45 (54H99 68S05)",
  MRnumber =     "85a:68087",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Math. Engng. and Instrumentation Phys., Univ.
                 of Tokyo, Tokyo, Japan",
  keywords =     "formal languages; topological formulation; linguistic
                 typology; formal languages; isomorphism; equivalence
                 problem; continuous mappings; compacta; programming
                 languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Casanova:1983:TDD,
  author =       "Marco A. Casanova",
  title =        "A theory of data dependencies over relational
                 expressions",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "3",
  pages =        "151--191",
  month =        jun,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P15",
  MRnumber =     "85a:68033",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160D (Relational databases)",
  corpsource =   "Centro Cientifico de Brasilia, IBM do Brazil,
                 Brasilia, Brazil",
  keywords =     "database management systems; IDEX; data dependencies;
                 relational expressions; integrity constraints;
                 relational model; implicational dependencies;
                 first-order analytic tableaux",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kostovetsky:1983:TST,
  author =       "A. Kostovetsky",
  title =        "Time separation technique for large databases",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "3",
  pages =        "193--209",
  month =        jun,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160 (Database management systems (DBMS))",
  corpsource =   "Computervision Corp., Bedford, MA, USA",
  keywords =     "database management systems; time separation
                 technique; large databases; time decomposition
                 technique; network aggregation; operating schedule;
                 closed-loop algorithm; probabilistic approach",
  treatment =    "P Practical",
}

@Article{Gligor:1983:VPM,
  author =       "V. D. Gligor",
  title =        "The verification of the protection mechanisms of
                 high-level language machines",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "4",
  pages =        "211--246",
  month =        aug,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture)",
  corpsource =   "Dept. of Electrical Engng., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "computer architecture; verification; protection
                 mechanisms; high-level language machines; Burroughs
                 B6700/6800",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Gyssens:1983:AVF,
  author =       "M. Gyssens and J. Paredaens",
  title =        "Another view of functional and multivalued
                 dependencies in the relational database model",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "4",
  pages =        "247--267",
  month =        aug,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P15",
  MRnumber =     "85f:68017",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160D (Relational databases)",
  corpsource =   "Dept. of Math., Univ. of Antwerp, Wilrijk, Belgium",
  keywords =     "database management systems; integrity constraints;
                 multivalued dependencies; relational database model;
                 pseudo-multivalued dependencies; acyclic join
                 dependencies",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Jajodia:1983:EDW,
  author =       "S. Jajodia and P. A. Ng and F. N. Springsteel",
  title =        "Entity-relationship diagrams which are in {BCNF}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "4",
  pages =        "269--283",
  month =        aug,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6160D (Relational
                 databases)",
  corpsource =   "Dept. of Computer Sci., Univ. of Missouri-Columbia,
                 Columbia, MO, USA",
  keywords =     "database management systems; grammars; database
                 theory; loop-free ERD; functional dependency; BCNF;
                 entity-relationship diagrams; regularity; relational
                 scheme; Boyce-Codd Normal Form; ERD; databases",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Jajodia:1983:ERD,
  author =       "Sushil Jajodia and Peter A. Ng and Frederick N.
                 Springsteel",
  title =        "Entity-relationship diagrams which are in {BCNF}",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "4",
  pages =        "269--283",
  year =         "1983",
  MRclass =      "68P15",
  MRnumber =     "85i:68014",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Akritas:1983:CEA,
  author =       "A. G. Akritas and S. S. Iyengar and A. A. Rampuria",
  title =        "Computationally efficient algorithms for a one-time
                 pad scheme",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "4",
  pages =        "285--316",
  month =        aug,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P25 (94A99)",
  MRnumber =     "741 781",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "Dept. of Computer Sci., Univ. of Kansas, Lawrence, KS,
                 USA",
  keywords =     "cryptography; ciphers security; cryptography; data
                 processing; one-time pad scheme; chi-square method",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lee:1983:SSA,
  author =       "Tony T. Lee",
  title =        "A state space approach to the finite automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "5",
  pages =        "317--335",
  month =        oct,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q99",
  MRnumber =     "85h:68062",
  MRreviewer =   "I. Pe{\'a}k",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Polytech. Inst. of New York, New York, NY, USA",
  keywords =     "finite automata; state-space methods; fixed point
                 theorem; invariant subspace; state space approach;
                 finite automata; Psi -representation; state equation",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kak:1983:EMP,
  author =       "Subhash C. Kak",
  title =        "Exponentiation modulo a polynomial for data security",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "5",
  pages =        "337--346",
  month =        oct,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P25 (94A60)",
  MRnumber =     "85f:68023",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques)",
  corpsource =   "Dept. of Electrical and Computer Engng., Louisiana
                 State Univ., Baton Rouge, LA, USA",
  keywords =     "cryptography; security of data; RSA algorithm;
                 cryptography; data security; exponential modulo;
                 encryption; public-key cryptosystem",
  treatment =    "P Practical",
}

@Article{Toussaint:1983:CLE,
  author =       "Godfried T. Toussaint",
  title =        "Computing largest empty circles with location
                 constraints",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "5",
  pages =        "347--358",
  month =        oct,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05 (52-04)",
  MRnumber =     "85f:68093",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1290 (Applications of systems theory)",
  corpsource =   "School of Computer Sci., McGill Univ., Montreal, Que.,
                 Canada",
  keywords =     "computational complexity; operations research;
                 facility location; polygons; computational geometry;
                 largest empty circles; location constraints; Voronoi
                 diagram",
  treatment =    "T Theoretical or Mathematical",
}

@Article{H:1983:LWS,
  author =       "H. J{\"u}rgensen and G. Thierrin",
  title =        "On $\omega $-languages whose syntactic monoid is
                 trivial",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "5",
  pages =        "359--365",
  year =         "1983",
  MRclass =      "68Q45 (20M35)",
  MRnumber =     "85m:68016",
  MRreviewer =   "M. Kunze",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Jurgensen:1983:OWS,
  author =       "H. Jurgensen and G. Thierrin",
  title =        "On omega-languages whose syntactic monoid is trivial",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "5",
  pages =        "359--365",
  month =        oct,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Computer Sci., Univ. of Western Ontario,
                 London, Ont., Canada",
  keywords =     "formal languages; omega -languages; syntactic monoid;
                 finite state acceptable omega -languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Nau:1983:GGS,
  author =       "Dana S. Nau",
  title =        "On game graph structure and its influence on
                 pathology",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "6",
  pages =        "367--383",
  month =        dec,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68T01 (90D35 92A25)",
  MRnumber =     "85h:68071",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1140E (Game theory); C1160 (Combinatorial
                 mathematics); C1230 (Artificial intelligence)",
  corpsource =   "Dept. of Computer Sci., Univ. of Maryland, College
                 Park, MD, USA",
  keywords =     "artificial intelligence; game theory; graph theory;
                 game graph structure; pathology; game tree search
                 procedures; artificial intelligence; minimaxing;
                 sibling nodes",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Niemi:1983:FRF,
  author =       "Timo Niemi",
  title =        "Formal restructuring functions for hierarchical data
                 bases",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "6",
  pages =        "385--411",
  month =        dec,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P15",
  MRnumber =     "85e:68018",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6160 (Database
                 management systems (DBMS))",
  corpsource =   "Dept. of Math. Sci., Tampere Univ., Tampere, Finland",
  keywords =     "data structures; database management systems;
                 hierarchical data bases; data restructuring;
                 hierarchical data structures; transformation language;
                 target data base; restructuring software",
  treatment =    "P Practical",
}

@Article{Budd:1983:SGP,
  author =       "Timothy A. Budd",
  title =        "Safety in grammatical protection systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "6",
  pages =        "413--431",
  month =        dec,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68N25",
  MRnumber =     "85e:68007",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6150J (Operating systems)",
  corpsource =   "Dept. of Computer Sci., Univ. of Arizona, Tucson, AZ,
                 USA",
  keywords =     "grammars; operating systems (computers); security of
                 data; context free languages; grammatical protection
                 systems; operating system protection mechanisms;
                 safety; polynomial time decision procedure; P-space
                 complete; NP-complete",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ankeney:1983:CTA,
  author =       "Lawrence A. Ankeney and Gerhard X. Ritter",
  title =        "Cellular topology and its applications in image
                 processing",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "12",
  number =       "6",
  pages =        "433--456",
  month =        dec,
  year =         "1983",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U10 (68Q80)",
  MRnumber =     "85e:68094",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6140C (Optical information, image and video signal
                 processing); C1160 (Combinatorial mathematics); C1250
                 (Pattern recognition)",
  corpsource =   "Air Force Armament Lab., Eglin Air Force Base, FL,
                 USA",
  keywords =     "picture processing; topology; cellular automata;
                 neighborhood transform; image processing; Minkowski
                 algebra; nondiscrete cellular topologies; cellular
                 image processing operations",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Landskov:1984:MCE,
  author =       "D. Landskov",
  title =        "Microcode compaction; extending the boundaries",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "1",
  pages =        "1--21",
  month =        feb,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C5220 (Computer architecture); C6150C (Compilers,
                 interpreters and other processors)",
  corpsource =   "Dept. of Computer Sci., Univ. of Lowell, Lowell, MA,
                 USA",
  keywords =     "data compression; microprogramming; program
                 processors; microprogramming; microcode compaction;
                 trace compaction technique; global compaction",
  treatment =    "P Practical",
}

@Article{Lee:1984:OTM,
  author =       "D. T. Lee",
  title =        "An optimal time and minimal space algorithm for
                 rectangle intersection problems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "1",
  pages =        "23--32",
  month =        feb,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05 (52-04)",
  MRnumber =     "85j:68104",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1180 (Optimisation techniques); C4240 (Programming
                 and algorithm theory)",
  corpsource =   "Dept. of Electrical Engng. and Computer Sci.,
                 Northwestern Univ., Evanston, IL, USA",
  keywords =     "data structures; optimisation; programming theory;
                 computational geometry; optimal time; minimal space
                 algorithm; rectangle intersection problems; data
                 structures; range trees; segment trees; rectangle
                 trees; divide-and-conquer technique; linked lists",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Lu:1984:ICF,
  author =       "H. R. Lu and K. S. Fu",
  title =        "Inferability of context-free programmed grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "1",
  pages =        "33--58",
  year =         "1984",
  MRclass =      "68T25",
  MRnumber =     "85k:68093",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Lu:1984:ICP,
  author =       "H. R. Lu and K. S. Fu",
  title =        "Inferability of context-free programmed grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "1",
  pages =        "33--58",
  month =        feb,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "School of Electrical Engng., Purdue Univ., West
                 Lafayette, IN, USA",
  keywords =     "context-free grammars; pattern recognition; control
                 diagram; autocorrelation; grammatical inference;
                 context-free programmed grammars; string language
                 description; syntactic pattern analysis; CFPG
                 inferability",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Yang:1984:AIG,
  author =       "Chao Chih Yang and Hou Kuan Huang",
  title =        "Algorithms for the inverse and a generalization of the
                 state space approach to finite automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "1",
  pages =        "59--76",
  month =        feb,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q05",
  MRnumber =     "86i:68034",
  MRreviewer =   "F. G{\'e}cseg",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Dept. of Computer and Information Sci., Univ. of
                 Alabama, Birmingham, AL, USA",
  keywords =     "finite automata; contraction mapping; modulo 2; power
                 series; inverse; state space approach; finite
                 automata",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Ottmann:1984:BST,
  author =       "Thomas Ottmann and Arnold L. Rosenberg and Hans-Werner
                 Six and Derick Wood",
  title =        "Binary search trees with binary comparison cost",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "2",
  pages =        "77--101",
  month =        apr,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P05 (68P10)",
  MRnumber =     "85j:68016",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C6120 (File
                 organisation)",
  corpsource =   "Inst. fur Angewande Inf. und
                 Formalebeschreibungsverfahren, Univ. Karlsruhe, West
                 Germany",
  keywords =     "data structures; information retrieval; trees
                 (mathematics); mode visit cost; Fibonacci trees;
                 stratified trees; data structures; binary comparison
                 cost; cost measure; binary search trees; BCOST; TCOST;
                 maximal BCOST-height trees",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kak:1984:MPK,
  author =       "S. C. Kak",
  title =        "On the method of puzzles for key distribution",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "2",
  pages =        "103--109",
  month =        apr,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes); C6130 (Data handling techniques)",
  corpsource =   "Dept. of Electr. and Comput. Eng., Louisiana State
                 Univ., Baton Rouge, LA, USA",
  keywords =     "cryptography; codes; cryptography; puzzles; key
                 distribution; public channel; work advantage; nested
                 puzzles method",
  treatment =    "P Practical",
}

@Article{Yu:1984:PMN,
  author =       "Ging-Shung Yu and S. Muroga",
  title =        "Parallel multipliers with {NOR} gates based on
                 {G}-minimum adders",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "2",
  pages =        "111--121",
  month =        apr,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B1265Z (Other digital circuits); C5120 (Logic and
                 switching circuits)",
  corpsource =   "Inst. of Nucl. Energy Res., Lung-tan, Taiwan",
  keywords =     "adders; logic gates; multiplying circuits; NOR gates;
                 G-minimum adders; adders; parallel multipliers;
                 carry-save adder-type multipliers",
  treatment =    "P Practical",
}

@Article{Er:1984:IAC,
  author =       "M. C. Er",
  title =        "An iterative algorithm for the cyclic {Towers of
                 Hanoi} problem",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "2",
  pages =        "123--129",
  month =        apr,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q20",
  MRnumber =     "86c:68029",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Dept. of Comput. Sci., Wollongong Univ., NSW,
                 Australia",
  keywords =     "algorithm theory; iterative algorithm; cyclic Towers
                 of Hanoi problem; discs; source peg",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Santoro:1984:MCD,
  author =       "Nicola Santoro",
  title =        "On the message complexity of distributed problems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "3",
  pages =        "131--147",
  month =        jun,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68M10",
  MRnumber =     "86d:68005",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B1110 (Network topology); B6110 (Information
                 theory); C1260 (Information theory); C4290 (Other
                 computer theory); C5620 (Computer networks and
                 techniques)",
  corpsource =   "Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont.,
                 Canada",
  keywords =     "distributed processing; information theory; network
                 topology; distributed algorithms; asynchronous message
                 passing systems; message complexity; distributed
                 computing; topological information; lower-bounds;
                 extrema-finding; minimum-weight spanning-tree
                 construction; reducibility; equivalence; worst-case
                 optimality",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Orman:1984:FMD,
  author =       "L. Orman",
  title =        "Familial model of data",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "3",
  pages =        "149--175",
  month =        jun,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4250 (Database theory)",
  corpsource =   "Cornell Univ., Ithaca, NY, USA",
  keywords =     "database theory; familial data model; conceptual
                 model; family of sets; indexing; directed binary
                 association; diverse user views; abstractions; derived
                 data; metamodels; algebra of families; data definition;
                 maintenance; processing language; specification
                 language; database application systems; database
                 constructs; procedural programming languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Fukuda:1984:ITA,
  author =       "H. Fukuda and K. Kamata",
  title =        "Inference of tree automata from sample sets of trees",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "3",
  pages =        "177--196",
  month =        jun,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q70",
  MRnumber =     "86d:68054",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Fujisawa Dev. Lab., IBM Japan Ltd., Japan",
  keywords =     "automata theory; trees (mathematics); inference; tree
                 automata; k-follower; sample tree set",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Toussaint:1984:CCU,
  author =       "Godfried T. Toussaint",
  title =        "Complexity, convexity, and unimodality",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "3",
  pages =        "197--217",
  month =        jun,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05 (52-04 52A10 68T10)",
  MRnumber =     "86d:68065",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4190 (Other numerical methods); C4240 (Programming
                 and algorithm theory)",
  corpsource =   "Sch. of Comput. Sci., McGill Univ., Montreal, Que.,
                 Canada",
  keywords =     "computational complexity; computational geometry;
                 pattern recognition; fixed edge; closer pair problem;
                 diameter; all nearest neighbor problem; all furthest
                 neighbor problem; artificial intelligence; geometric
                 complexity; convexity; unimodality; polygons; fixed
                 vertex; distance function; Euclidean distance;
                 computational geometry; pattern recognition;
                 algorithms; linear-time-complexity",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Stark:1984:GPC,
  author =       "W. Richard Stark",
  title =        "A glimpse into the paradise of combinatory algebra",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "3",
  pages =        "219--236",
  month =        jun,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q55 (03B40 03B70 68Q70)",
  MRnumber =     "86d:68048",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C4210 (Formal
                 logic); C6140 (Programming languages)",
  corpsource =   "Dept. of Math., Univ. of South Florida, Tampa, FL,
                 USA",
  keywords =     "algebra; combinatorial mathematics; programming
                 languages; history; terms; syntax; semantics; fixed
                 point; finite state automata; recursion; combinatory
                 algebra; lambda calculus; functional languages; LISP;
                 FP; KRC",
  treatment =    "G General Review; T Theoretical or Mathematical",
}

@Article{Kostovetsky:1984:FDT,
  author =       "A. Kostovetsky",
  title =        "Frequency decomposition technique for large archivable
                 databases",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "4",
  pages =        "237--249",
  month =        aug,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160Z (Other DBMS)",
  corpsource =   "Computervision Corp., Bedford, MA, USA",
  keywords =     "database management systems; CAD/CAM; transaction
                 management; large archivable databases; frequency
                 decomposition technique; prolonged archiving; back up
                 procedures; frequency separation criterion; database
                 recoverability; file management system",
  treatment =    "P Practical",
}

@Article{Pargas:1984:PSR,
  author =       "Roy P. Pargas",
  title =        "Parallel solution of recurrences on a tree machine",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "4",
  pages =        "251--277",
  month =        aug,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "65W05 (65Q05)",
  MRnumber =     "86f:65225",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C5440
                 (Multiprocessing systems)",
  corpsource =   "Dept. of Comput. Sci., Clemson Univ., SC, USA",
  keywords =     "computational complexity; parallel processing; trees
                 (mathematics); recurrences; tree machine; parallel
                 solutions; complexity",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Atallah:1984:CSP,
  author =       "Mikhail J. Atallah",
  title =        "Checking similarity of planar figures",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "4",
  pages =        "279--290",
  month =        aug,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05 (68Q25)",
  MRnumber =     "783 724",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1250 (Pattern recognition); C4240 (Programming and
                 algorithm theory)",
  corpsource =   "Dept. of Comput. Sci., Purdue Univ., West Lafayette,
                 IN, USA",
  keywords =     "computational geometry; pattern recognition; planar
                 figures; computational geometry; pattern recognition;
                 straight line segments; circles; ellipses",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Kou:1984:CT,
  author =       "Wei Dong Kou and Zheng Hu",
  title =        "{CH} transform",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "4",
  pages =        "291--307",
  month =        aug,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "42A38 (44A35 94A15)",
  MRnumber =     "86g:42014",
  MRreviewer =   "B. D. Donevski",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0230 (Integral transforms); B6110 (Information
                 theory); C1130 (Integral transforms); C1260
                 (Information theory)",
  corpsource =   "Dept. of Inf. Eng., Northwest Telecommun. Eng. Inst.,
                 Xian, China",
  keywords =     "information theory; transforms; CH transform; unitary
                 transform; fast Hadamard transform; invariant power
                 spectrum; cyclic shift",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Voukalis:1984:FRM,
  author =       "D. C. Voukalis",
  title =        "Further remarks for the matrix type-${B}$ codes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "4",
  pages =        "309--326",
  month =        aug,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "94B20 (94A40)",
  MRnumber =     "86k:94033",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes)",
  keywords =     "error correction codes; error detection codes; matrix
                 algebra; matrix type-B codes; correcting error
                 patterns; communication channel; efficient code;
                 encoding-decoding algorithm",
  treatment =    "P Practical",
}

@Article{Schwind:1984:EDC,
  author =       "Camilla B. Schwind",
  title =        "Embedding deductive capabilities in relational
                 database systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "5",
  pages =        "327--338",
  month =        oct,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P15 (68T30)",
  MRnumber =     "86h:68030",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4250 (Database theory); C6160D (Relational
                 databases)",
  corpsource =   "CNRS, Marseille, France",
  keywords =     "database theory; relational databases; relational
                 algebra; theorem proving; Horn clauses; expert systems;
                 deductive capabilities; relational database systems;
                 deductive database system; data manipulation;
                 relational algebra; extensional database; tuples",
  treatment =    "P Practical",
}

@Article{Srini:1984:MDM,
  author =       "V. P. Srini and B. D. Shrivr",
  title =        "A methodology for designing and modeling
                 reconfigurable systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "5",
  pages =        "339--394",
  month =        oct,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory); C6110 (Systems analysis and
                 programming); C6150J (Operating systems)",
  corpsource =   "Dept. of Comput. Sci., Alabama Univ., Birmingham, AL,
                 USA",
  keywords =     "automata theory; operating systems (computers);
                 systems analysis; reconfigurable systems; communicating
                 systems; dynamically reconfigurable systems; data
                 driven model; concurrent system; operating system;
                 knowledge-based expert systems; local information;
                 global information",
  treatment =    "P Practical",
}

@Article{Chang:1984:CHC,
  author =       "S. K. Chang and J. C. Dorng",
  title =        "Concatenated hash code selection",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "5",
  pages =        "395--412",
  month =        oct,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68P10",
  MRnumber =     "86d:68017",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Electr. and Comput. Eng., Illinois Inst. of
                 Technol., Chicago, IL, USA",
  keywords =     "file organisation; storage allocation; partial match
                 retrieval; file organisation; storage allocation; hash
                 code selection; concatenated hash code;
                 multiple-attribute retrieval; hashing scheme; optimal
                 code length",
  treatment =    "P Practical",
}

@Article{Tanatsugu:1984:GIH,
  author =       "Keisuke Tanatsugu",
  title =        "A grammatical inference for harmonic linear
                 languages",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "5",
  pages =        "413--423",
  month =        oct,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68T05 (68S05)",
  MRnumber =     "86d:68061",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Dept. of Math., Kitakyushu Univ., Japan",
  keywords =     "formal languages; grammars; grammatical inference;
                 harmonic linear languages; finite sample sets;
                 superclass; regular languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Niemi:1984:SDR,
  author =       "T. Niemi",
  title =        "Specification of data restructuring software based on
                 the attribute method",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "6",
  pages =        "425--460",
  month =        dec,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6160 (Database
                 management systems (DBMS))",
  corpsource =   "Dept. of Math. and Comp. Sci., Tampere Univ.,
                 Finland",
  keywords =     "data structures; database theory; grammars;
                 programming theory; hierarchical databases; formal
                 specification; data restructuring; abstract software
                 specification; data structures; flat file; hierarchical
                 data models; attribute method; abstract syntax",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Dasgupta:1984:UHL,
  author =       "Subrata Dasgupta and Alan Wagner",
  title =        "The use of {Hoare} logic in the verification of
                 horizontal microprograms",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "6",
  pages =        "461--490",
  month =        dec,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q60 (03B70)",
  MRnumber =     "87a:68118",
  MRreviewer =   "W. Damm",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory)",
  corpsource =   "Center for Adv. Comput. Studies, Southwestern
                 Louisiana Univ., Lafayette, LA, USA",
  keywords =     "formal languages; microprogramming; program
                 verification; firmware verification; Hoare logic;
                 horizontal microprograms; formal verification;
                 inductive assertion method; axiomatic definition;
                 machine dependent microprogramming language; S*(QM-1);
                 Nanodata QM-1",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hurson:1984:VDP,
  author =       "A. R. Hurson",
  title =        "A {VLSI} design for the parallel finite state
                 automaton and its performance evaluation as a hardware
                 scanner",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "6",
  pages =        "491--508",
  month =        dec,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q35",
  MRnumber =     "792 724",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory); C5220 (Computer
                 architecture)",
  corpsource =   "Sch. of Electr. Eng. and Comptu. Sci., Oklahoma Univ.,
                 Norman, OK, USA",
  keywords =     "computer architecture; computerised pattern
                 recognition; finite automata; performance evaluation;
                 VLSI; VLSI design; parallel finite state automaton;
                 performance evaluation; hardware scanner; hardware
                 architecture; pattern matching; text retrieval",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Chang:1984:SC,
  author =       "Lena Chang and Arthur T. Poe",
  title =        "Surjections and coverings",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "13",
  number =       "6",
  pages =        "509--520",
  month =        dec,
  year =         "1984",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68R05 (68Q05)",
  MRnumber =     "86m:68115",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4220 (Automata theory)",
  corpsource =   "Chang and Co., MA, USA",
  keywords =     "automata theory; deleted distributive property;
                 necessary conditions; coverings; sufficient condition;
                 sequence covers; surjection; feedback; partitions;
                 bijections; series-parallel decompositions;
                 series-parallel",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Roussopoulos:1985:SMS,
  author =       "N. Roussopoulos and L. Mark",
  title =        "Schema manipulation in self-describing and
                 self-documenting data models",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "1",
  pages =        "1--28",
  month =        feb,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4250 (Database theory); C6160 (Database management
                 systems (DBMS))",
  corpsource =   "Dept. of Comput. Sci., Maryland Univ., College Park.,
                 MD, USA",
  keywords =     "database management systems; database theory; schema
                 manipulation; self describing data models;
                 self-documenting data models; meta-schema; uniform
                 model; data language",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Dutta:1985:MMC,
  author =       "A. Dutta",
  title =        "Modeling of multiple copy update costs for file
                 allocation in distributed databases",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "1",
  pages =        "29--34",
  month =        feb,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6160B (Distributed
                 databases)",
  corpsource =   "Graduate Sch. of Manage., Rochester Univ., NY, USA",
  keywords =     "database management systems; file organisation;
                 protocols; multiple copy update costs; file allocation;
                 distributed databases; storage; query; update
                 communication costs; modeling; protocols",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{H:1985:SMC,
  author =       "H. J{\"u}rgensen and A. Salomaa",
  title =        "Syntactic monoids in the construction of systolic tree
                 automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "1",
  pages =        "35--49",
  year =         "1985",
  MRclass =      "68Q80 (68Q45)",
  MRnumber =     "87i:68056",
  MRreviewer =   "J. Gruska",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Jurgensen:1985:SMC,
  author =       "H. Jurgensen and A. Salomaa",
  title =        "Syntactic monoids in the construction of systolic tree
                 automata",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "1",
  pages =        "35--49",
  month =        feb,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory)",
  corpsource =   "Dept. of Comput. Sci., Univ. of Western Ontario,
                 London, Ont., Canada",
  keywords =     "automata theory; formal languages; trees
                 (mathematics); systolic tree automata; regular
                 language; monoid product; syntactic monoids; language
                 families",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Biswas:1985:ASV,
  author =       "P. Biswas",
  title =        "Architectural support for variable addressing in {Ada}
                 --- a design approach",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "1",
  pages =        "51--72",
  month =        feb,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140D (High level languages)",
  corpsource =   "Dept. of Comput. Sci. and Eng., Southern Methodist
                 Univ., Dallas, TX, USA",
  keywords =     "Ada; architectural support; variable addressing; Ada;
                 design approach; language-directed machine
                 architecture; machine instructions; architecture
                 description language; Dijkstra's mechanism",
  treatment =    "P Practical",
}

@Article{Huang:1985:MEH,
  author =       "S.-H. S. Huang",
  title =        "Multidimensional extendible hashing for partial-match
                 queries",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "2",
  pages =        "73--82",
  month =        apr,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation)",
  corpsource =   "Dept. of Comput. Sci., Houston Univ., TX, USA",
  keywords =     "file organisation; tree files; data structures;
                 extendible hashing; partial-match queries; direct
                 access files; multi-attribute keys; one-dimensional
                 hashing; storage utilization; buckets; multidimensional
                 hashing",
  treatment =    "P Practical",
}

@Article{Hooper:1985:BSL,
  author =       "J. W. Hooper",
  title =        "{BPL}: a set-based language for distributed system
                 prototyping",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "2",
  pages =        "83--105",
  month =        apr,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6140D (High level languages)",
  corpsource =   "Dept. of Comput. Sci., Alabama Univ., Huntsville, AL,
                 USA",
  keywords =     "distributed processing; set theory; specification
                 languages; VAX 11/780; BPL; set-based language;
                 distributed system prototyping; system development;
                 prototyping tools; ADL/ADS; user interface tool;
                 distributed data processing; attributes; relationships;
                 Behavior Prototyping Language; behavior objects;
                 set-theoretical approaches; syntax",
  treatment =    "P Practical",
}

@Article{Motteler:1985:CMD,
  author =       "Howard E. Motteler and Carl H. Smith",
  title =        "A complexity measure for data flow models",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "2",
  pages =        "107--122",
  month =        apr,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q15",
  MRnumber =     "87a:68066",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6150C
                 (Compilers, interpreters and other processors)",
  corpsource =   "Dept. of Comput. Sci., Maryland Univ., College Park,
                 MD, USA",
  keywords =     "computational complexity; program compilers;
                 compilers; complexity measure; data flow models;
                 tokens; Blum complexity measure; abstract complexity
                 theory; copy measure",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tou:1985:KER,
  author =       "J. T. Tou",
  title =        "Knowledge engineering revisited",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "3",
  pages =        "123--134",
  month =        jun,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C6170 (Expert
                 systems)",
  corpsource =   "Center for Inf. Res., Florida Univ., Gainesville, FL,
                 USA",
  keywords =     "knowledge engineering; knowledge preservation;
                 knowledge proliferation; knowledge dissemination;
                 knowledge application; knowledge engineering; expert
                 systems; pattern-directed expert systems",
  treatment =    "P Practical",
}

@Article{Dandamudi:1985:EPC,
  author =       "S. P. Dandamudi and P. G. Sorenson",
  title =        "An empirical performance comparison of some variations
                 of the $k$-$d$ tree and {BD} tree",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "3",
  pages =        "135--159",
  month =        jun,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6160 (Database management systems (DBMS))",
  corpsource =   "Dept. of Comput. Sci., Maryland Univ., College Park,
                 MD, USA",
  keywords =     "database management systems; multidimensional systems;
                 performance evaluation; database applications;
                 empirical performance; k-d tree; B D tree; storage
                 structures; multiple keys; one-dimensional data;
                 one-dimensional binary search tree; B D tree;
                 multidimensional data; dynamic characteristics;
                 empirical performance",
  treatment =    "P Practical",
}

@Article{deMaine:1985:TPL,
  author =       "P. A. D. {de Maine} and S. Leong and C. G. Davis",
  title =        "A transportable programming language ({TPL}) system.
                 {I} Overview",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "3",
  pages =        "161--182",
  month =        jun,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6100 (Software techniques and systems); C6140B
                 (Machine-oriented languages); C6140D (High level
                 languages)",
  corpsource =   "Dept. of Comp. Sci. and Eng., Auburn Univ., AL, USA",
  keywords =     "FORTRAN; high level languages; program compilers;
                 software portability; transportable programming
                 language; TPL; software; hardware; HLL-TPL; High-Level
                 Languages; HLL; Superset method; Hypothetical Parent;
                 HLL; HPHLL; HPHLL; FORTRAN-TPL system; bifunctional
                 FORTRAN-TPL compiler; FORTRAN; intermediate language;
                 HPFORTRAN",
  treatment =    "P Practical",
}

@Article{ORourke:1985:FME,
  author =       "Joseph O'Rourke",
  title =        "Finding minimal enclosing boxes",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "3",
  pages =        "183--199",
  month =        jun,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68U05",
  MRnumber =     "824 371",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4190 (Other numerical methods)",
  corpsource =   "Dept. of Elec. Eng. and Comp. Sci., Johns Hopkins
                 Univ., Baltimore, MD, USA",
  keywords =     "computational geometry; minimal enclosing boxes;
                 minimal volume boxes; three-dimensional points; convex
                 hull; naive search",
  treatment =    "P Practical",
}

@Article{Mlodinow:1985:EPM,
  author =       "L. D. Mlodinow and I. O. Stamatescu",
  title =        "An evolutionary procedure for machine learning",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "201--219",
  month =        aug,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1230 (Artificial intelligence); C1240 (Adaptive
                 system theory); C3390 (Robotics)",
  corpsource =   "Max-Planck-Inst. fur Phys. und Astrophys., Munich,
                 West Germany",
  keywords =     "artificial intelligence; learning systems; position
                 control; robots; evolutionary procedure; machine
                 learning; TURTLE",
  treatment =    "P Practical",
}

@Article{Chan:1985:NMP,
  author =       "B. Chan and H. Meijer",
  title =        "A note on the method of puzzles for key distribution",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "221--223",
  month =        aug,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B6120B (Codes); C1260 (Information theory)",
  corpsource =   "Dept. of Comput. and Inf. Sci., Queens Univ.,
                 Kingston, Ont., Canada",
  keywords =     "cryptography; error correction codes; security of
                 data; puzzles; key distribution; public key
                 cryptosystem; linear error correcting codes",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Chen:1985:GSG,
  author =       "Jin Hua Chen",
  title =        "{LL(1)} grammars and sub-{LL(1)} grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "225--234",
  year =         "1985",
  MRclass =      "68Q50",
  MRnumber =     "87e:68067",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Chen:1985:LGS,
  author =       "Jinhua Chen",
  title =        "{LL(1)} grammar and {Sub-LL(1)} grammars",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "225--234",
  month =        aug,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6150C (Compilers,
                 interpreters and other processors)",
  corpsource =   "Shenzhen Univ., China",
  keywords =     "context-free grammars; program compilers; compilers;
                 context free languages; LL(1) grammar; Sub-LL(1)
                 grammars; top-down parsing",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Subramanian:1985:NRA,
  author =       "K. G. Subramanian",
  title =        "A note on regular-controlled apical-growth filamentous
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "235--242",
  month =        aug,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic)",
  corpsource =   "Inst. Nat. de Recherche en Inf. et Autom.,
                 Rocquencourt, France",
  keywords =     "formal languages; regular languages; linear languages;
                 context free languages; L languages; apical-growth
                 filamentous systems; regular control; pure languages",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Subramanian:1985:NRC,
  author =       "K. G. Subramanian",
  title =        "A note on regular-controlled apical-growth filamentous
                 systems",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "4",
  pages =        "235--242",
  year =         "1985",
  MRclass =      "68Q45",
  MRnumber =     "87h:68101",
  MRreviewer =   "Gheorghe P{\u{a}}un",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Ishida:1985:ASD,
  author =       "Y. Ishida and N. Adachi and H. Tokumaru",
  title =        "An analysis of self-diagnosis model by conditional
                 fault set",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "5",
  pages =        "243--259",
  year =         "1985",
  MRclass =      "68M15",
  MRnumber =     "849 019",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
}

@Article{Ishida:1985:ASM,
  author =       "Y. Ishida and N. Adachi and H. Tokumaru",
  title =        "An analysis of self-diagnosis model by conditional
                 fault set",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "5",
  pages =        "243--259",
  month =        oct,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0170N (Reliability); C1210B (Reliability theory)",
  keywords =     "automatic testing; failure analysis; fault location;
                 diagnosability; self-diagnosis model; conditional fault
                 set; fault-free; faulty units; mathematical
                 programming; syndrome decoding algorithm; Hamming
                 distance; error-correcting codes",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hurson:1985:CSM,
  author =       "A. R. Hurson and B. Shirazi",
  title =        "A class of systolic multiplier units for {VLSI}
                 technology",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "5",
  pages =        "261--275",
  month =        oct,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B1265B (Logic circuits); B2570 (Semiconductor
                 integrated circuits); C5220 (Computer architecture)",
  corpsource =   "Dept. of Electr. Eng., Pennsylvania State Univ.,
                 University Park, PA, USA",
  keywords =     "cellular arrays; pipeline processing; VLSI; systolic
                 multiplier units; VLSI technology; recursive structure;
                 pipeline architecture",
  treatment =    "A Application; T Theoretical or Mathematical",
}

@Article{Agrawal:1985:TFS,
  author =       "V. K. Agrawal and L. M. Patnaik and P. S. Goel",
  title =        "Towards formal specification of a distributed
                 computing system",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "5",
  pages =        "277--306",
  month =        oct,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q10",
  MRnumber =     "849 020",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C7460
                 (Aerospace engineering computing)",
  corpsource =   "Div. of Control Syst., ISRO Satellite Centre,
                 Bangalore, India",
  keywords =     "aerospace computing; distributed processing; systems
                 analysis; onboard spacecraft computing system; formal
                 specification; distributed computing system;
                 functionally distributed system; reliable protocol;
                 concurrency; exclusiveness; sequencing; 6-tuple model;
                 deadlock",
  treatment =    "A Application",
}

@Article{Elmagarmid:1985:PDD,
  author =       "A. K. Elmagarmid and A. P. Sheth",
  title =        "A partially distributed deadlock detection algorithm",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "5",
  pages =        "307--330",
  month =        oct,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6150J (Operating systems); C6160B (Distributed
                 databases)",
  corpsource =   "Dept. of Electr. Eng., Pennsylvania State Univ.,
                 University Park, PA, USA",
  keywords =     "database management systems; distributed processing;
                 operating systems (computers); partially distributed
                 deadlock detection algorithm; distributed database
                 systems; central controller; multisite deadlocks; local
                 deadlocks; congestion",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Young:1985:MCP,
  author =       "Ming Huei Young and Saburo Muroga",
  title =        "Minimal covering problem and {PLA} minimization",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "337--364",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "90C09 (90C10)",
  MRnumber =     "88k:90126",
  MRreviewer =   "Anthony Vannelli",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B1130B (Computer-aided circuit analysis and design);
                 C4230 (Switching theory); C5210B (Computer-aided logic
                 design)",
  corpsource =   "Dept. of Comput. Sci., Illinois Univ., Urbana, IL,
                 USA",
  keywords =     "cellular arrays; integrated logic circuits; logic CAD;
                 minimisation of switching nets; logic minimisation; IBM
                 FORTRAN programs; PLA minimization; minimal covering
                 problem; implicit enumeration method; Quine-McCluskey
                 method; heuristic algorithm; large-scale problems;
                 programmable logic arrays",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Brzakovic:1985:ACD,
  author =       "D. Brzakovic and J. T. Tou",
  title =        "An approach to computer-aided document examination",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "365--385",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C6130 (Data handling techniques); C7106 (Word
                 processing); C7890 (Other special applications)",
  corpsource =   "Dept. of Electr. Eng., Tennessee Univ., Knoxville, TN,
                 USA",
  keywords =     "computerised pattern recognition; expert systems; word
                 processing; document falsification; computer-aided
                 document examination; knowledge-based expert system;
                 typewritten document; multiple typing sessions;
                 document authenticity; alignment analysis; symbol
                 comparison; gray level intensity analysis; type font
                 identification",
  treatment =    "P Practical",
}

@Article{Brzozowski:1985:S,
  author =       "J. A. Brzozowski and S. Muro",
  title =        "On serializability",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "387--403",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4250 (Database theory); C6160 (Database management
                 systems (DBMS))",
  corpsource =   "Dept. of Comput. Sci., Waterloo Univ., Ont., Canada",
  keywords =     "database management systems; database theory; database
                 transactions; concurrent execution of transactions;
                 serializability; serial schedule; transaction models;
                 multiversion database model",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Harnett:1985:OTR,
  author =       "R. M. Harnett and G. C. Kiel",
  title =        "Optimal taxiway repair: a set-covering approach",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "405--419",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1160 (Combinatorial mathematics); C1180
                 (Optimisation techniques); C1290Z (Other applications
                 of systems theory); C4240 (Programming and algorithm
                 theory); C7440 (Civil and mechanical engineering)",
  corpsource =   "Louisiana Tech Univ., Ruston, LA, USA",
  keywords =     "airports; maintenance engineering; optimisation; set
                 theory; taxiway intersections; taxiway repair;
                 set-covering; air base recovery after attack; minimal
                 cut set; repair minimization; algebraic representation;
                 computational efficiency",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Hong:1985:AEM,
  author =       "Jia Rong Hong",
  title =        "{AE1}: an extension matrix approximate method for the
                 general covering problem",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "421--437",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  MRclass =      "68Q25 (90C10)",
  MRnumber =     "88a:68052",
  bibdate =      "Sat Apr 26 14:03:16 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C1110 (Algebra); C1160 (Combinatorial mathematics);
                 C1180 (Optimisation techniques); C4140 (Linear
                 algebra); C4210 (Formal logic); C4240 (Programming and
                 algorithm theory)",
  corpsource =   "Dept. of Comput. Sci., Illinois Univ., Urbana, IL,
                 USA",
  keywords =     "decidability; matrix algebra; optimisation; set
                 theory; set covering; disjoint extension matrices;
                 extension matrix approximate; general covering problem;
                 optimization; NP-hard; optimal covering algorithm",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Chang:1985:TCG,
  author =       "S. K. Chang and B. Luo and C. C. Yang and M. C. K.
                 Yang",
  title =        "Trace confirmation with given object position",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "439--453",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "B0230 (Integral transforms); B6140C (Optical
                 information and image processing); C1130 (Integral
                 transforms); C1250 (Pattern recognition); C1260
                 (Information theory); C7410F (Communications)",
  corpsource =   "Dept. of Electr. and Comput. Eng., Illinois Inst. of
                 Technol., Chicago, IL, USA",
  keywords =     "computerised pattern recognition; computerised picture
                 processing; tracking; transforms; trace detection; ship
                 detection; digitized image; Hough transform; line
                 detection; SEASAT satellite pictures",
  treatment =    "T Theoretical or Mathematical",
}

@Article{Tseng:1985:PSS,
  author =       "S. S. Tseng and R. C. T. Lee",
  title =        "A parallel sorting scheme whose basic operation sorts
                 {$N$} elements",
  journal =      j-INT-J-COMPUT-INF-SCI,
  volume =       "14",
  number =       "6",
  pages =        "455--467",
  month =        dec,
  year =         "1985",
  CODEN =        "IJCIAH",
  ISSN =         "0091-7036",
  bibdate =      "Sat Apr 26 12:20:22 MDT 1997",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6130
                 (Data handling techniques)",
  corpsource =   "Inst. of Comput. Eng., Nat. Chiao Tung Univ., Hsinchu,
                 Taiwan",
  keywords =     "algorithm theory; parallel programming; sorting;
                 n-sorter merge sorting algorithm; parallel sorting
                 scheme",
  treatment =    "T Theoretical or Mathematical",
}